Conference Paper (58)
81.
Conference Paper
Finding Counterfactually Optimal Action Sequences in Continuous State Spaces. In: Advances in Neural Information Processing Systems 36, pp. 3220 - 3247 (Eds. Oh, A.; Neumann, T.; Globerson, A.; Saenko, K.; Hartdt, M. et al.). Thirty-seventh Annual Conference on Neural Information Processing Systems, New Orleans, LA, USA, December 10, 2023 - December 16, 2023. Curran Associates, Inc (2023)
82.
Conference Paper
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. In: HSCC 2023, 9, pp. 1 - 7. 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, TX, USA, May 10, 2023 - May 12, 2023. ACM, New York, NY (2023)
83.
Conference Paper
The Benefit of Hindsight: Tracing Edge-Cases in Distributed Systems. In: 20th USENIX Symposium on Networked Systems Design and Implementation, pp. 321 - 339. 20th USENIX Symposium on Networked Systems Design and Implementation, Boston, MA, USA, April 17, 2023 - April 19, 2023. USENIX (2023)
Thesis - PhD (3)
84.
Thesis - PhD
Algorithmic Verification of Linear Dynamical Systems. Dissertation, vii, 200 pages pp., Universität des Saarlandes, Saarbrücken (2023)
85.
Thesis - PhD
Automated and Foundational Verification of Low-level Programs. Dissertation, ix, 168 pp., Universität des Saarlandes, Saarbrücken (2023)
86.
Thesis - PhD
Real-Time Execution Management in the ROS 2 Framework. Dissertation, xvi, 189 p pp., Universität des Saarlandes, Saarbrücken (2023)
Working Paper (23)
87.
Working Paper
Contract-Based Distributed Synthesis in Two-Objective Parity Games. (2023), 50 pp.
88.
Working Paper
Priority Downward Closures. (2023), 25 pp.
89.
Working Paper
Unboundedness Problems for Machines with Reversal-bounded Counters. (2023), 33 pp.
90.
Working Paper
The Monadic Theory of Toric Words. (2023), 31 pp.
91.
Working Paper
Automatically Testing Functional Properties of Code Translation Models. (2023), 13 pp.
92.
Working Paper
SynDiffix: More accurate synthetic structured data. (2023), 14 pp.
93.
Working Paper
Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. (2023), 15 pp.
94.
Working Paper
Reachability in Injective Piecewise Affine Maps. (2023), 22 pp.
95.
Working Paper
Likes and Fragments: Examining Perceptions of Time Spent on TikTok. (2023), 11 pp.
96.
Working Paper
Pointwise Representational Similarity. (2023), 33 pp.
97.
Working Paper
Skolem Meets Bateman-Horn. (2023), 14 pp.
98.
Working Paper
Transcendence of Sturmian Numbers over an Algebraic Base. (2023), 8 pp.
99.
Working Paper
Understanding Blockchain Governance: Analyzing Decentralized Voting to Amend DeFi Smart Contracts. (2023), 20 pp.
100.
Working Paper
Large Language Models can Segment Narrative Events Similarly to Humans. (2023), 15 pp.