Tsirtsis, S.; Gomez Rodriguez, M.: Finding Counterfactually Optimal Action Sequences in Continuous State Spaces. In: Advances in Neural Information Processing Systems 36, S. 3220 - 3247 (Hg. 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, 10. Dezember 2023 - 16. Dezember 2023. Curran Associates, Inc (2023)

Zareian, M.; Schmuck, A.-K.: Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. In: HSCC 2023, 9, S. 1 - 7. 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, TX, USA, 10. Mai 2023 - 12. Mai 2023. ACM, New York, NY (2023)

Zhang, L.; Anand, V.; Xie, Z.; Vigfusson, Y.; Mace, J.: The Benefit of Hindsight: Tracing Edge-Cases in Distributed Systems. In: 20th USENIX Symposium on Networked Systems Design and Implementation, S. 321 - 339. 20th USENIX Symposium on Networked Systems Design and Implementation, Boston, MA, USA, 17. April 2023 - 19. April 2023. USENIX (2023)

Karimov, T.: Algorithmic Verification of Linear Dynamical Systems. Dissertation, vii, 200 pages S., Universität des Saarlandes, Saarbrücken (2023)

Sammler, M.: Automated and Foundational Verification of Low-level Programs. Dissertation, ix, 168 S., Universität des Saarlandes, Saarbrücken (2023)

Stark (Blass), T.: Real-Time Execution Management in the ROS 2 Framework. Dissertation, xvi, 189 p S., Universität des Saarlandes, Saarbrücken (2023)

Anand, A.; Nayak, S. P.; Schmuck, A.-K.: Contract-Based Distributed Synthesis in Two-Objective Parity Games. (2023), 50 S.

Anand, A.; Zetzsche, G.: Priority Downward Closures. (2023), 25 S.

Baumann, P.; D'Alessandro, F.; Ganardi, M.; Ibarra, O.; McQuillan, I.; Schütze, L.; Zetzsche, G.: Unboundedness Problems for Machines with Reversal-bounded Counters. (2023), 33 S.

Berthé, V.; Karimov, T.; Ouaknine, J.; Vahanwala, M.; Worrell, J.: The Monadic Theory of Toric Words. (2023), 31 S.

Eniser, H. F.; Wüstholz, V.; Christakis, M.: Automatically Testing Functional Properties of Code Translation Models. (2023), 13 S.

Francis, P.; Berneanu, C.; Gashi, E.: SynDiffix: More accurate synthetic structured data. (2023), 14 S.

Gan, J.; Majumdar, R.; Mandal, D.; Radanovic, G.: Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. (2023), 15 S.

Ghahremani, F.; Kelmendi, E.; Ouaknine, J.: Reachability in Injective Piecewise Affine Maps. (2023), 22 S.

Goetzen, A.; Wang, R.; Redmiles, E. M.; Zannettou, S.; Ayalon, O.: Likes and Fragments: Examining Perceptions of Time Spent on TikTok. (2023), 11 S.

Kolling, C.; Speicher, T.; Nanda, V.; Toneva, M.; Gummadi, K.: Pointwise Representational Similarity. (2023), 33 S.

Luca, F.; Maynard, J.; Noubissie, A.; Ouaknine, J.; Worrell, J.: Skolem Meets Bateman-Horn. (2023), 14 S.

Luca, F.; Ouaknine, J.; Worrell, J.: Transcendence of Sturmian Numbers over an Algebraic Base. (2023), 8 S.

Messias, J.; Pahari, V.; Chandrasekaran, B.; Gummadi, K.; Loiseau, P.: Understanding Blockchain Governance: Analyzing Decentralized Voting to Amend DeFi Smart Contracts. (2023), 20 S.

Michelmann, S.; Kumar, M.; Norman, K. A.; Toneva, M.: Large Language Models can Segment Narrative Events Similarly to Humans. (2023), 15 S.