[Contribution to a book, Contribution to a conference proceedings]
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
In: Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings / edited by Brigitte Pientka, Cesare Tinelli, 344-364, 2023
[DOI: 10.1007/978-3-031-38499-8_20]

Kassing, Jan-Christoph (Corresponding author)
Giesl, Jürgen (Corresponding author)

[Journal Article]
Streckenstandards - Mindestelemente für eine leistungsfähige und resiliente Infrastruktur
In: Eisenbahntechnische Rundschau : ETR, 72 (11), 30-34, 2023

Müller, Tobias
Emunds, Tamme Paul
Kliem, Maximilian
Pfeifer, Andreas
Nießen, Nils
et al.

[Contribution to a book, Contribution to a conference proceedings]
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : [Proceedings], 2023
[DOI: 10.1109/LICS56636.2023.10175714]

Winkler, Tobias (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
In: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina, 391-409, 2023
[DOI: 10.1007/978-3-031-30820-8_24]

Winkler, Tobias (Corresponding author)
Katoen, Joost-Pieter

[Contribution to a book, Contribution to a conference proceedings]
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems
In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification Udine, Italy, 18-20th September 2023, 2023
[DOI: 10.4204/EPTCS.390.2]

Nalbach, Jasper Kurt Ferdinand
Promies, Valentin Maxim
Ábrahám, Erika
Kobialka, Paul

[Journal Article]
The complexity of the timetable-based railway network design problem
In: Networks, 69, 1-11, 2023
[DOI: 10.1002/net.22192]

Friesen, Nadine
Sander, Tim
Büsing, Christina Maria Katharina
Nachtigall, Karl
Nießen, Nils

[Contribution to a conference proceedings]
Abstracting Noisy Robot Programs
In: [2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS'23, London, UK], 2023

Hofmann, Till
Belle, Vaishak

[Preprint]
Black-box Testing Liveness Properties of Partially Observable Stochastic Systems, 2023
[DOI: 10.48550/arXiv.2303.03292]

Esparza, Javier
Grande, Vincent Peter

[Preprint]
ICML 2023 Topological Deep Learning Challenge: Design and Results
In: 40. International conference in machine learning Honolulu, HI 2023-04-23 - 2023-07-29, 2023
[DOI: 10.48550/arXiv.2309.15188]

Papillon, Mathilde (Corresponding author)
Hajij, Mustafa
Frantzen, Florian
Hoppe, Josef
Jenne, Helen
et al.

[Contribution to a book, Contribution to a conference proceedings]
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
In: 50th International Colloquium on Automata, Languages, and Programming : ICALP 2023, July 10-14, 2023, Paderborn, Germany / edited by Kousha Etessami, Uriel Feige, Gabriele Puppis, 126:1-126:17, 2023
[DOI: 10.4230/LIPIcs.ICALP.2023.126]

Esparza, Javier
Grande, Vincent Peter

[Contribution to a book, Contribution to a conference proceedings]
Topological Point Cloud Clustering
In: Proceedings of the 40th International Conference on Machine Learning, 11683-11697, 2023

Grande, Vincent Peter
Schaub, Michael Thomas

[Contribution to a book, Contribution to a conference proceedings]
Introducing Asynchronicity to Probabilistic Hyperproperties
In: Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings / edited by Nils Jansen, Mirco Tribastone, 47-64, 2023
[DOI: 10.1007/978-3-031-43835-6_4]

Gerlach, Lina (Corresponding author)
Dobe, Oyendrila
Ábrahám, Erika
Bartocci, Ezio
Bonakdarpour, Borzoo

[Contribution to a book, Contribution to a conference proceedings]
Signal Processing On Product Spaces
In: IEEE ICASSP 2023 conference proceedings / ICASSP 2023, 4-10 June, Rhodes Island, Greece ; sponsors and organizers: IEEE, IEEE Signal Processing Society, 2023
[DOI: 10.1109/ICASSP49357.2023.10095735]

Roddenberry, T. Mitchell
Grande, Vincent Peter
Frantzen, Florian
Schaub, Michael Thomas
Segarra, Santiago

[Contribution to a book, Contribution to a conference proceedings]
Search and Explore: Symbiotic Policy Synthesis in POMDPs
In: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III / edited by Constantin Enea, Akash Lal, 113-135, 2023
[DOI: 10.1007/978-3-031-37709-9_6]

Andriushchenko, Roman
Bork, Alexander
Češka, Milan (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
et al.

[Contribution to a book, Contribution to a conference proceedings]
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
In: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) / Herausgeber: Jérôme Leroux, Sylvain Lombardy, David Peleg, 82:1-82:15, 2023
[DOI: 10.4230/LIPIcs.MFCS.2023.82]

Seppelt, Tim Frederik

[Contribution to a book, Contribution to a conference proceedings]
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
In: SMT 2023 : Satisfiability Modulo Theories 2023 : Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) : co-located with the 29th International Conference on Automated Deduction (CADE 2023) : Rome, Italy, July, 5-6, 2023 / Edited by Stéphane Graham-Lengrand ; Mathias Preiner, 13 Seiten, 2023

Bär, Philipp (Corresponding author)
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Ábrahám, Erika (Corresponding author)
Brown, Christopher (Corresponding author)

[Book, Journal Article]
Solving the Dial-a-Ride Problem for Railway Traffic by Means of Heuristics
In: Communications in computer and information science, 1843, 93-133, 2023
[DOI: 10.1007/978-3-031-37470-8_5]

Grüne, Christoph Manfred (Corresponding author)
Zieger, Stephan (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
In: 50th International Colloquium on Automata, Languages and Programming (ICALP 2023) / Herausgeber: Kousha Etessami, Uriel Feige, Gabriele Puppis, 101:1-101:18, 2023
[DOI: 10.4230/LIPICS.ICALP.2023.101]

Roberson, David E. (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Subtropical Satisfiability for SMT Solving
In: NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri, 430-446, 2023
[DOI: 10.1007/978-3-031-33170-1_26]

Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Ábrahám, Erika

[Contribution to a book, Contribution to a conference proceedings]
Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning
In: RoboCup 2022 : Robot World Cup XXV / edited by Amy Eguchi, Nuno Lau, Maike Paetzel-Prüsmann, Thanapat Wanichanon, 300-312, 2023
[DOI: 10.1007/978-3-031-28469-4_25]

Viehmann, Tarik (Corresponding author)
Limpert, Nicolas
Hofmann, Till
Henning, Mike
Ferrein, Alexander
et al.

[Contribution to a book, Journal Article]
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems
In: Artificial intelligence, 320, 103922, 2023
[DOI: 10.1016/j.artint.2023.103922]

Sukhija, Bhavya (Corresponding author)
Turchetta, Matteo
Lindner, David
Krause, Andreas
Trimpe, Johann Sebastian
et al.

[Contribution to a book, Contribution to a conference proceedings]
Anonymous System for Fully Distributed and Robust Secure Multi-Party Computation
In: Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 129-139, 2023
[DOI: 10.1145/3577923.3583651]

Klinger, Andreas Gabriel (Corresponding author)
Battermann, Felix
Meyer, Ulrike

[Contribution to a book, Contribution to a conference proceedings]
Privacy-Preserving Fully Online Matching with Deadlines
In: Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 105-116, 2023
[DOI: 10.1145/3577923.3583654]

Klinger, Andreas Gabriel (Corresponding author)
Meyer, Ulrike

[Contribution to a book, Contribution to a conference proceedings]
Automated Exercise Generation for Satisfiability Checking
In: Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings / Catherine Dubois, Pierluigi San Pietro, editors, 1-16, 2023
[DOI: 10.1007/978-3-031-27534-0_1]

Ábrahám, Erika
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Promies, Valentin Maxim

[Contribution to a conference proceedings]
WL meet VC
In: [International Conference on Machine Learning, ICML 2023], 2023

christopher, morris
Grohe, Martin
Tönshoff, Jan Martin
geerts, floris

[Contribution to a book, Contribution to a conference proceedings]
Probabilistic Query Evaluation with Bag Semantics
In: 26th International Conference on Database Theory (ICDT 2023) / Herausgeber: Floris Geerts, Brecht Vandevoort, 20:1-20:19, 2023
[DOI: 10.4230/LIPICS.ICDT.2023.20]

Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
Standke, Christoph (Corresponding author)

[Contribution to a conference proceedings]
Cylindrical Algebraic Coverings for Quantifiers
In: Proceedings of the 7th SC-Square Workshop, CEUR-WS Proceedings, 9 Seiten, 2023

Kremer, Gereon
Nalbach, Jasper Kurt Ferdinand

[Journal Article]
Stochastic games with lexicographic objectives
In: Formal methods in system design, 41 Seiten, 2023
[DOI: 10.1007/s10703-023-00411-4]

Chatterjee, Krishnendu
Katoen, Joost-Pieter
Mohr, Stefanie
Weininger, Maximilian
Winkler, Tobias (Corresponding author)

[Journal Article]
Canonisation and definability for graphs of bounded rank width
In: ACM transactions on computational logic : TOCL, 24 (1), 1-31, 2023
[DOI: 10.1145/3568025]

Grohe, Martin (Corresponding author)
Neuen, Daniel

[Contribution to a book, Contribution to a conference proceedings]
Weisfeiler-Leman and Graph Spectra
In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA23) / editors: Nikhil Bansal and Viswanath Nagarajan, 2023
[DOI: 10.1137/1.9781611977554.ch87]

Rattan, Gaurav
Seppelt, Tim Frederik

[Preprint]
Exact Probabilistic Inference Using Generating Functions, 2023

Klinkenberg, Lutz
Winkler, Tobias
Chen, Mingshuai
Katoen, Joost-Pieter

[Contribution to a book, Journal Article]
Controlling timed automata against MTL specifications with TACoS
In: Science of computer programming, 225, 102898, 2022
[DOI: 10.1016/j.scico.2022.102898]

Hofmann, Till (Corresponding author)
Schupp, Stefan

[Dissertation / PhD Thesis]
Dynamic fault trees: semantics, analysis and applications, 2022
[DOI: 10.18154/RWTH-2023-04092]

Volk, Matthias

[Preprint]
Neighborhood Structure Configuration Models, 2022
[DOI: 10.48550/arXiv.2210.06843]

Stamm, Felix Ihno (Corresponding author)
Scholkemper, Michael (Corresponding author)
Strohmaier, Markus (Corresponding author)
Schaub, Michael Thomas (Corresponding author)

[Contribution to a book]
Parameter Synthesis in Markov Models: A Gentle Survey
In: Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday / Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar (eds.), 407-437, 2022
[DOI: 10.1007/978-3-031-22337-2_20]

Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter (Corresponding author)

[Contribution to a conference proceedings, Journal Article]
Reasoning about distributed reconfigurable systems
In: Proceedings of the ACM on programming languages, 6 (OOPSLA2), 145-174, 2022
[DOI: 10.1145/3563293]

Ahrens, Emma (Corresponding author)
Bozga, Marius (Corresponding author)
Iosif, Radu (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
In: NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez, 713-732, 2022
[DOI: 10.1007/978-3-031-06773-0_38]

Basgöze, Daniel
Volk, Matthias (Corresponding author)
Katoen, Joost-Pieter
Khan, Shahid
Stoelinga, Marielle

[Journal Article]
On the complexity of singly connected vertex deletion
In: Theoretical computer science, 934, 47-64, 2022
[DOI: 10.1016/j.tcs.2022.08.012]

Das, Avinandan
Kanesh, Lawqueen
Madathil, Jayakrishnan (Corresponding author)
Muluk, Komal
Purohit, Nidhi
et al.

[Book, Proceedings]
Network Optimization INOC 2022 : 10th International Network Optimization Conference, Aachen, Germany, June 7-10, 2022 : Proceedings, 2022

Büsing, Christina Maria Katharina (Editor)
Koster, Arie Marinus (Editor)

[Contribution to a book, Contribution to a conference proceedings]
One Transfer per Patient Suffices: Structural Insights About Patient-to-Room Assignment
In: Combinatorial Optimization : 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers / edited by Ivana Ljubić, Francisco Barahona, Santanu S. Dey, A. Ridha Mahjoub, 245-259, 2022
[DOI: 10.1007/978-3-031-18530-4_18]

Brandt, Tabea Claudia
Büsing, Christina Maria Katharina
Knust, Sigrid (Corresponding author)

[Conference Presentation]
Predicting interlocking malfunctions for the railway network in Germany
In: 9. Transport Research Arena Lisbon 2022-11-14 - 2022-11-17, 2022

Emunds, Tamme Paul (Corresponding author)
Wink, Christopher
Lempp, Martin
Monem, Karim
Dickenbrok, Björn
et al.

[Contribution to a book, Contribution to a conference proceedings]
The Slotted Online One-Sided Crossing Minimization Problem on 2-Regular Graphs
In: Combinatorial algorithms : 33rd international workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022, proceedings / Cristina Bazgan, Henning Fernau (eds.), 243-256, 2022
[DOI: 10.1007/978-3-031-06678-8_18]

Burjons, Elisabet (Corresponding author)
Fuchs, Janosch (Corresponding author)
Lotze, Henri (Corresponding author)

[Dissertation / PhD Thesis]
Projection in a probabilistic epistemic logic and its application to belief-based program verification, 2022
[DOI: 10.18154/RWTH-2022-10632]

Liu, Daxin

[Contribution to a book, Contribution to a conference proceedings]
Secure Maximum Weight Matching Approximation on General Graphs
In: Proceedings of the 21st Workshop on Privacy in the Electronic Society, 83-87, 2022
[DOI: 10.1145/3559613.3563209]

Brüggemann, Andreas (Corresponding author)
Breuer, Malte (Corresponding author)
Klinger, Andreas Gabriel (Corresponding author)
Schneider, Thomas (Corresponding author)
Meyer, Ulrike (Corresponding author)

[Journal Article]
Weiterentwicklung der Streckenstandards zur Gestaltung der betrieblichen Infrastruktur
In: Deine Bahn : DB, 50 (10), 46-51, 2022

Müller, Tobias (Corresponding author)
Zieger, Stephan
Pfeifer, Andreas
Hilbrich, Erwin
Schaer, Thorsten

[Dissertation / PhD Thesis]
Optimisation and analysis of railway timetables under consideration of uncertainties, 2022
[DOI: 10.18154/RWTH-2022-10063]

Haehn, Rebecca

[Journal Article]
Robustes fahrplanbasiertes Netzwerkdesign
In: Eisenbahntechnische Rundschau : ETR, 71 (10), 16-20, 2022

Sander, Tim (Corresponding author)
Friesen, Nadine
Nachtigall, Karl
Nießen, Nils

[Journal Article]
Maßnahmen zur Klimaanpassung an Schienenverkehrsstrecken
In: Eisenbahntechnische Rundschau : ETR, 71 (10), 53-57, 2022

Benz, Alexandra (Corresponding author)
Friesen, Nadine
Pfeifer, Andreas

[Contribution to a book, Contribution to a conference proceedings]
POMDP Controllers with Optimal Budget
In: Quantitative evaluation of systems : 19th international conference, QEST 2022 Warsaw, Poland, September 12-16, 2022, proceedings / Erika Ábrahám, Marco Paolieri (eds.), 107-130, 2022
[DOI: 10.1007/978-3-031-16336-4_6]

Spel, Jip Josephine (Corresponding author)
Stein, Svenja Maria
Katoen, Joost-Pieter

[Dissertation / PhD Thesis]
Graph exploration with advice and online crossing minimization, 2022
[DOI: 10.18154/RWTH-2022-08761]

Fuchs, Janosch