[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, 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 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

[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

[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

[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
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

[Contribution to a book, Contribution to a conference proceedings]
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
In: Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, proceedings / Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.), 734-754, 2022
[DOI: 10.1007/978-3-031-10769-6_43]

Lommen, Nils (Corresponding author)
Meyer, Fabian Niklas
Giesl, Jürgen (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Improving Automatic Complexity Analysis of Integer Programs
In: The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.), 193-228, 2022
[DOI: 10.1007/978-3-031-08166-8_10]

Giesl, Jürgen (Corresponding author)
Lommen, Nils
Hark, Marcel Tobias
Meyer, Fabian Niklas

[Contribution to a book, Contribution to a conference proceedings]
Coworking Scheduling with Network Flows
In: Network Optimization INOC 2022 : 10th International Network Optimization Conference, Aachen, Germany, June 7-10, 2022 : Proceedings / Editors: Christina Büsing, Arie M.C.A. Koster, 11-16, 2022
[DOI: 10.48786/INOC.2022.03]

Anapolska, Mariia (Corresponding author)
Büsing, Christina Maria Katharina (Corresponding author)
Brandt, Tabea Claudia (Corresponding author)
Mömke, Tobias (Corresponding author)

[Conference Presentation]
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
In: 3. Workshop on Explainable Logic-Based Knowledge Representation Haifa 2022-07-31 - 2022-07-31, 2022

Hofmann, Till (Corresponding author)
Belle, Vaishak (Corresponding author)

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Modelling the Railway Network Design Problem with Capacity Expansion under Timetable constraints
In: Abstract Book : EURO 2022, 3-6 July, 261-261, 2022

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

[Contribution to a conference proceedings]
A simulation framework for the operation of automated small rail vehicles in rural areas
In: [13th World Congress on Railway Research, WCRR2022, 2022-06-06 - 2022-06-10, Birmingham, UK], 6 Seiten, 2022

Zieger, Stephan (Corresponding author)
Nießen, Nils

[Preprint]
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
In: 3. Workshop on Explainable Logic-Based Knowledge Representation Haifa 2022-07-31 - 2022-07-31, 2022
[DOI: 10.48550/arXiv.2207.12763]

Hofmann, Till (Corresponding author)
Belle, Vaishak (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Acceleration Techniques for Symbolic Simulation of Railway Timetables
In: Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022, proceedings / Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte (eds.), 46-62, 2022
[DOI: 10.1007/978-3-031-05814-1_4]

Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Kotowski, Niklas

[Contribution to a book, Contribution to a conference proceedings]
Homomorphism Tensors and Linear Equations
In: 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022) / Herausgeber: Mikołaj Bojańczyk, Emanuela Merelli, David P. Woodruff, [70:1]-70:20, 2022
[DOI: 10.4230/LIPICS.ICALP.2022.70]

Grohe, Martin
Rattan, Gaurav
Seppelt, Tim Frederik

[Contribution to a conference proceedings]
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
In: [ICAPS Workshop on Planning and Robotics, ICAPS PlanRob], 2022

Swoboda, Daniel
Hofmann, Till
Viehmann, Tarik
Lakemeyer, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
In: Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel, 79-101, 2022
[DOI: 10.1007/978-3-031-13185-1_5]

Chen, Mingshuai (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Klinkenberg, Lutz (Corresponding author)
Winkler, Tobias (Corresponding author)

[Preprint]
On the Verification of Belief Programs, 2022

Liu, Daxin (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Demand-responsive Scheduling in Railway Transportation
In: Proceedings of the 8th International Conference on Vehicle Technology and Intelligent Transport Systems / Editors: Jeroen Ploeg, Markus Helfert, Karsten Berns and Oleg Gusikhin, 239-248, 2022
[DOI: 10.5220/0011018700003191]

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

[Contribution to a conference proceedings, Journal Article]
Weighted programming : a programming paradigm for specifying mathematical models
In: Proceedings of the ACM on programming languages : (PACMPL), 66, 2022
[DOI: 10.1145/3527310]

Batz, Kevin (Corresponding author)
Gallus, Adrian (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Winkler, Tobias (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Under-Approximating Expected Total Rewards in POMDPs
In: Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu, 22-40, 2022
[DOI: 10.1007/978-3-030-99527-0_2]

Bork, Alexander Nikolai (Corresponding author)
Katoen, Joost-Pieter
Quatmann, Tim

[Journal Article]
Logics with Multiteam Semantics
In: ACM transactions on computational logic : TOCL, 23 (2), 13, 2022
[DOI: 10.1145/3487579]

Grädel, Erich (Corresponding author)
Wilke, Richard Marlon

[Contribution to a conference proceedings, Journal Article]
DFT modeling approach for operational risk assessment of railway infrastructure
In: International journal on software tools for technology transfer : STTT, 24 (3), 331-350, 2022
[DOI: 10.1007/s10009-022-00652-4]

Weik, Norman (Corresponding author)
Volk, Matthias
Katoen, Joost-Pieter
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Model Checking Temporal Properties of Recursive Probabilistic Programs
In: Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Patricia Bouyer, Lutz Schröder, 449-469, 2022
[DOI: 10.1007/978-3-030-99253-8_23]

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

[Preprint]
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics, 2022
[DOI: 10.48550/arXiv.2203.03425]

Grädel, Erich (Corresponding author)
Helal, Hayyan (Corresponding author)
Naaf, Matthias Ferdinand (Corresponding author)
Wilke, Richard Marlon (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Gradient-Descent for Randomized Controllers Under Partial Observability
In: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies, 127-150, 2022
[DOI: 10.1007/978-3-030-94583-1_7]

Heck, Linus
Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Moerman, Joshua
Katoen, Joost-Pieter

[Contribution to a conference proceedings]
Analysing Rail Traffic Patterns in Operational Data
In: [9th International Conference on Railway Operations Modelling and Analysis, RailBeijing2021, 2021-11-03 - 2021-11-07, Beijing, Peoples R China], 17 Seiten, 2022

Zieger, Stephan (Corresponding author)
Lenze, Wiebke
Nießen, Nils

[Contribution to a conference proceedings]
Sub-Threshold Delays and GB Timetable Quality
In: [9th International Conference on Railway Operations Modelling and Analysis, RailBeijing2021, 2021-11-03 - 2021-11-07, Beijing, Peoples R China], 21 Seiten, 2022

Armstrong, John (Corresponding author)
Preston, John
Zieger, Stephan
Nießen, Nils

[Contribution to a conference proceedings]
The Dial-a-Ride Problem in Railways
In: [9th International Conference on Railway Operations Modelling and Analysis, RailBeijing2021, 2021-11-03 - 2021-11-07, Beijing, Peoples R China], 19 Seiten, 2022

Zieger, Stephan (Corresponding author)
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Out of Control : Reducing Probabilistic Models by Control-State Elimination
In: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies, 450-472, 2022
[DOI: 10.1007/978-3-030-94583-1_22]

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

[Journal Article]
Synthesizing optimal bias in randomized self-stabilization
In: Distributed computing, 35 (1), 37-57, 2021
[DOI: 10.1007/s00446-021-00408-4]

Volk, Matthias (Corresponding author)
Bonakdarpour, Borzoo
Katoen, Joost-Pieter
Aflaki, Saba

[Journal Article]
The probabilistic model checker STORM
In: International journal on software tools for technology transfer, 24 (4), 589-610, 2021
[DOI: 10.1007/s10009-021-00633-z]

Hensel, Hans Christian
Junges, Sebastian
Katoen, Joost-Pieter (Corresponding author)
Quatmann, Tim
Volk, Matthias

[Journal Article]
Markov automata with multiple objectives
In: Formal methods in system design, 60 (1), 33-86, 2021
[DOI: 10.1007/s10703-021-00364-6]

Quatmann, Tim
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter

[Dissertation / PhD Thesis]
Reasoning about dependence and independence : teams and multiteams, 2021
[DOI: 10.18154/RWTH-2022-02743]

Wilke, Richard Marlon

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Degradation modeling of railway tracks by analysing longitudinal level change with machine learning techniques
In: 31st European Conference on Operational Research : Euro2021 Athens, Greece : July 11-14 : conference handbook, 190-190, 2021

Friesen, Nadine (Corresponding author)
Bluhm, Saskia
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic
In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 1951-1958, 2021
[DOI: 10.24963/ijcai.2021/269]

Liu, Daxin (Corresponding author)
Lakemeyer, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
On the Progression of Belief
In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 465-474, 2021
[DOI: 10.24963/kr.2021/44]

Liu, Daxin (Corresponding author)
Feng, Qihui

[Contribution to a book, Contribution to a conference proceedings]
The Effects of Randomness on the Stability of Node Embeddings
In: Machine Learning and Principles and Practice of Knowledge Discovery in Databases : International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I / edited by Michael Kamp, Irena Koprinska, Adrien Bibal [u.a.], 197-215, 2021
[DOI: 10.1007/978-3-030-93736-2_16]

Schumacher, Tobias
Wolf, Hinrikus (Corresponding author)
Ritzert, Martin
Lemmerich, Florian
Grohe, Martin
et al.

[Preprint]
Weisfeiler-Leman, Graph Spectra, and Random Walks, 2021
[DOI: 10.18154/RWTH-2022-01183]

Rattan, Gaurav (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)

[Preprint]
Homomorphism Tensors and Linear Equations, 2021

Grohe, Martin (Corresponding author)
Rattan, Gaurav (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)

[Journal Article]
Probabilistic Data with Continuous Distributions
In: ACM SIGMOD record, 50 (1), 69-76, 2021
[DOI: 10.1145/3471485.3471502]

Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter

[Dissertation / PhD Thesis]
Selfishness in strategic resource allocation problems, 2021
[DOI: 10.18154/RWTH-2021-11656]

Ravindran Vijayalakshmi, Vipin

[Contribution to a book, Contribution to a conference proceedings]
TACoS : A Tool for MTL Controller Synthesis
In: Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings / edited by Radu Calinescu, Corina S. Păsăreanu, 372-379, 2021
[DOI: 10.1007/978-3-030-92124-8_21]

Hofmann, Till
Schupp, Stefan

[Contribution to a book, Contribution to a conference proceedings]
An Investigation of the Recoverable Robust Assignment Problem
In: 16th International Symposium on Parameterized and Exact Computation (IPEC 2021) / Herausgeber: Petr A. Golovach, Meirav Zehavi, 19:1-19:14, 2021
[DOI: 10.4230/LIPIcs.IPEC.2021.19]

Fischer, Dennis (Corresponding author)
Hartmann, Tim A. (Corresponding author)
Lendl, Stefan (Corresponding author)
Woeginger, Gerhard (Corresponding author)

[Dissertation / PhD Thesis]
The theory of infinite probabilistic databases, 2021
[DOI: 10.18154/RWTH-2021-10669]

Lindner, Peter

[Book, Dissertation / PhD Thesis]
Robust primary care systems
In: Mathematik, 2021
[DOI: 10.18154/RWTH-2021-10500]

Comis, Martin

[Contribution to a book, Contribution to a conference proceedings]
Opportunities and Challenges for the Demand-Responsive Transport Using Highly Automated and Autonomous Rail Units in Rural Areas
In: 2021 IEEE Intelligent Vehicles Symposium (IV), 11-17 July 2021, 77-82, 2021
[DOI: 10.1109/IV48863.2021.9575561]

Zieger, Stephan (Corresponding author)
Nießen, Nils (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Degradation functions for railway station equipment quality based on maintenance-influenced data
In: 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE) : 23-27 Aug. 2021 / publisher: IEEE, 1770-1775, 2021
[DOI: 10.1109/CASE49439.2021.9551487]

Maus, Maren (Corresponding author)
Lampe, Felix Josef Stefan
Friesen, Nadine
Heckmann, Mark
Elfert, Lea
et al.

[Dissertation / PhD Thesis]
Learning on graphs with logic and neural networks, 2021
[DOI: 10.18154/RWTH-2021-09549]

Ritzert, Martin

[Contribution to a book, Contribution to a conference proceedings]
Tweaking the Odds in Probabilistic Timed Automata
In: Quantitative evaluation of systems : 18th International Conference, QEST 2021 Paris, France, August 23-27, 2021 : Proceedings / Alessandro Abate, Andrea Marin (Eds.), 39-58, 2021
[DOI: 10.1007/978-3-030-85172-9_3]

Hartmanns, Arnd (Corresponding author)
Katoen, Joost-Pieter
Kohlen, Bram
Spel, Jip Josephine

[Contribution to a book, Contribution to a conference proceedings]
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots
In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21) / edited by Prof. Zhi-Hua Zhou ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), 1908-1914, 2021
[DOI: 10.24963/ijcai.2021/263]

Habering, Daniel (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21) / edited by Prof. Zhi-Hua Zhou ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), 2083-2089, 2021
[DOI: 10.24963/ijcai.2021/287]

Viehmann, Tarik (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Stochastic Games with Disjunctions of Multiple Objectives
In: Proceedings of the 12th International Symposium on Games, Automata, Logics, and Formal Verification : Padua, Italy, 20-22 September 2021 / Edited by: Pierre Ganty and Davide Bresolin, 85-100, 2021
[DOI: 10.4204/EPTCS.346.6]

Winkler, Tobias (Corresponding author)
Weininger, Maximilian (Corresponding author)

[Preprint]
Limitations of the Invertible-Map Equivalences, 2021

Dawar, Anuj (Corresponding author)
Grädel, Erich (Corresponding author)
Lichter, Moritz (Corresponding author)

[Journal Article]
Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
In: Rad Hrvatske Akademije Znanosti i Umjetnosti, Razred za Matematičke, Fizičke, Kemijske i Tehničke Znanosti / Matematičke Znanosti, 25 (546), 107-141, 2021
[DOI: 10.21857/mnlqgc582y]

Klinger, Andreas Gabriel (Corresponding author)
Wüller, Stefan (Corresponding author)
Traverso, Giulia (Corresponding author)
Meyer, Ulrike (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies
In: Quantitative evaluation of systems : 18th International Conference, QEST 2021 Paris, France, August 23-27, 2021 : Proceedings / Alessandro Abate, Andrea Marin (Eds.), 257-275, 2021
[DOI: 10.1007/978-3-030-85172-9_14]

Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Towards Secure Evaluation of Online Functionalities
In: ARES 2021 : the 16th International Conference on Availability, Reliability and Security, Vienna, Austria, August 17 - 20, 2021, 14 Seiten, 2021
[DOI: 10.1145/3465481.3469203]

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

[Journal Article]
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
In: Logical methods in computer science, 17 (3), 14:1-14:32, 2021
[DOI: 10.46298/lmcs-17(3:14)2021]

Hoelzel, Matthias (Corresponding author)
Wilke, Richard Marlon (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Extending the Fundamental Theorem of Linear Programming for Strict Inequalities
In: ISSAC '21 : Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation : July 18-23, 2021, Virtual Event, Russian Federation / General Chair: Frédéric Chyzak ; Program Committee Chair: George Labahn ; Proceedings Editor: Marc Mezzarobba, 313-320, 2021
[DOI: 10.1145/3452143.3465538]

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

[Dissertation / PhD Thesis]
Towards complete methods for automatic complexity and termination analysis of (probabilistic) programs, 2021
[DOI: 10.18154/RWTH-2021-06073]

Hark, Marcel Tobias

[Contribution to a book, Contribution to a conference proceedings]
Tuple-Independent Representations of Infinite Probabilistic Databases
In: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 388-401, 2021
[DOI: 10.1145/3452021.3458315]

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

[Journal Article]
Patients, primary care, and policy: Agent-based simulation modeling for health care decision support
In: Health care management science, 24 (4), 799-826, 2021
[DOI: 10.1007/s10729-021-09556-2]

Comis, Martin (Corresponding author)
Cleophas, Catherine
Büsing, Christina Maria Katharina

[Contribution to a book, Contribution to a conference proceedings]
Finding Provably Optimal Markov Chains
In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / Editors: Jan Friso GrooteKim Guldstrand Larsen. - Part I, 173-190, 2021
[DOI: 10.1007/978-3-030-72016-2_10]

Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter

[Contribution to a book, Contribution to a conference proceedings]
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / Editors: Jan Friso GrooteKim Guldstrand Larsen. - Part I, 250-269, 2021
[DOI: 10.1007/978-3-030-72016-2_14]

Meyer, Fabian Niklas
Hark, Marcel Tobias (Corresponding author)
Giesl, Jürgen (Corresponding author)

[Journal Article]
The complexity of reachability in parametric Markov decision processes
In: Journal of computer and system sciences : JCSS, 119, 183-210, 2021
[DOI: 10.1016/j.jcss.2021.02.006]

Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Pérez, Guillermo A.
Winkler, Tobias

[Journal Article]
Graph Neural Networks for Maximum Constraint Satisfaction
In: Frontiers in artificial intelligence, 3, 580607, 2021
[DOI: 10.3389/frai.2020.580607]

Tönshoff, Jan Martin (Corresponding author)
Ritzert, Martin
Wolf, Hinrikus
Grohe, Martin

[Journal Article]
Robust strategic planning for mobile medical units with steerable and unsteerable demands
In: European journal of operational research : EJOR, 295 (1), 34-50, 2021
[DOI: 10.1016/j.ejor.2021.02.037]

Büsing, Christina Maria Katharina
Comis, Martin (Corresponding author)
Schmidt, Eva
Streicher, Manuel

[Contribution to a book, Contribution to a conference proceedings, Journal Article]
Flows Over Time as Continuous Limits of Packet-Based Network Simulations
In: Transportation research procedia, 52, 123-130, 2021

Ziemke, Theresa (Corresponding author)
Sering, Leon
Vargas Koch, Laura
Zimmer, Max
Nagel, Kai
et al.

[Preprint]
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints, 2021
[DOI: 10.18154/RWTH-2021-02072]

Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)

[Contribution to a conference proceedings, Journal Article]
Flows Over Time as Continuous Limits of Packet-Based Network Simulations
In: Transportation research procedia, 52, 123-130, 2021
[DOI: 10.1016/j.trpro.2021.01.014]

Ziemke, Theresa (Corresponding author)
Sering, Leon
Vargas Koch, Laura
Zimmer, Max
Nagel, Kai
et al.

[Dissertation / PhD Thesis]
Determinization and ambiguity of classical and probabilistic Büchi automata, 2021
[DOI: 10.18154/RWTH-2021-02027]

Pirogov, Anton

[Contribution to a book, Contribution to a conference proceedings]
Portable High-level Agent Programming with golog++
In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 2, 218-227, 2021
[DOI: 10.5220/0010253902180227]

Mataré, Victor
Viehmann, Tarik
Hofmann, Till
Lakemeyer, Gerhard
Ferrein, Alexander
et al.

[Contribution to a book, Contribution to a conference proceedings]
Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League
In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence / editors: Ana Paula Rocha ; Luc Steels and Jaap van den Herik. - . Volume 1: Online, 04-06.02.2021, 80-91, 2021
[DOI: 10.5220/0010252600800091]

Hofmann, Till (Corresponding author)
Viehmann, Tarik
Gomaa, Mostafa
Habering, Daniel
Niemüller, Tim Dieter
et al.

[Journal Article]
Scheduling games with machine-dependent priority lists
In: Theoretical computer science, 855, 90-103, 2020
[DOI: 10.1016/j.tcs.2020.11.042]

Ravindran Vijayalakshmi, Vipin
Schröder, Marc
Tamir, Tami (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Semiring Provenance for Fixed-Point Logic
In: 29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq, 17:1-17:22, 2021
[DOI: 10.4230/LIPICS.CSL.2021.17]

Dannert, Katrin M. (Corresponding author)
Grädel, Erich (Corresponding author)
Naaf, Matthias Ferdinand (Corresponding author)
Tannen, Val (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Generating Functions for Probabilistic Programs
In: Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings / edited by Maribel Fernández, 231-248, 2021
[DOI: 10.1007/978-3-030-68446-4_12]

Klinkenberg, Lutz (Corresponding author)
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Moerman, Joshua
et al.

[Journal Article]
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
In: IEEE transactions on automatic control, 66 (3), 1040-1054, 2020
[DOI: 10.1109/TAC.2020.2990140]

Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils (Corresponding author)
Topcu, Ufuk
et al.

[Contribution to a book, Contribution to a conference proceedings]
Probabilistic Hyperproperties with Nondeterminism
In: Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / Dang Van Hung, Oleg Sokolsky (eds.), 518-534, 2020
[DOI: 10.1007/978-3-030-59152-6_29]

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

[Contribution to a book, Contribution to a conference proceedings]
Macro Operator Synthesis for ADL Domains
In: ECAI 2020 : 24th European Conference on Artificial Intelligence : 29 August-8 September 2020, Santiago De Compostela, Spain, including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) : proceedings / edited by Giuseppe De Giacomo [and six others], 761-768, 2020
[DOI: 10.3233/FAIA200164]

Hofmann, Till (Corresponding author)
Niemüller, Tim Dieter
Lakemeyer, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
Verification of Indefinite-Horizon POMDPs
In: Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / Dang Van Hung, Oleg Sokolsky (eds.), 288-304, 2020
[DOI: 10.1007/978-3-030-59152-6_16]

Bork, Alexander Nikolai
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Quatmann, Tim

[Contribution to a book, Contribution to a conference proceedings]
Improving Approximate Pure Nash Equilibria in Congestion Games
In: Web and internet economics : 16th international conference, WINE 2020, Beijing, China, December 7-11, 2020 : proceedings / Xujin Chen, Nikolai Gravin, Martin Hoefer, Ruta Mehta (eds.), 280-294, 2020
[DOI: 10.1007/978-3-030-64946-3_20]

Ravindran Vijayalakshmi, Vipin (Corresponding author)
Skopalik, Alexander

[Contribution to a book, Contribution to a conference proceedings]
Termination of Polynomial Loops
In: Static Analysis : 27th International Symposium, SAS 2020 : Virtual Event, November 18-20, 2020 : Proceedings / Pichardie, David, Sighireanu, Mihaela (Eds.), 89-112, 2020
[DOI: 10.1007/978-3-030-65474-0_5]

Frohn, Florian
Hark, Marcel Tobias (Corresponding author)
Giesl, Jürgen

[Preprint]
The Effects of Randomness on the Stability of Node Embeddings, 2020

Schumacher, Tobias
Wolf, Hinrikus
Ritzert, Martin
Lemmerich, Florian
Bachmann, Jan
et al.

[Journal Article]
A faster algorithm for the continuous bilevel knapsack problem
In: Operations research letters, 48 (6), 784-786, 2020
[DOI: 10.1016/j.orl.2020.09.007]

Fischer, Dennis
Woeginger, Gerhard (Corresponding author)

[Report]
The Carologistics RoboCup Logistics Team 2020, 2020

Hofmann, Till
Eltester, Sebastian
Viehmann, Tarik
Limpert, Nicolas
Mataré, Victor
et al.

[Contribution to a conference proceedings]
Constraint-based Plan Transformation in a Safe and Usable GOLOG Language
In: Proceedings of the Workshop on Bringing Constraint-based Robot Programming to Real-World Applications (IROS CobaRoP), 2 Seiten, 2020

Mataré, Victor
Schiffer, Stefan
Ferrein, Alexander Antoine
Viehmann, Tarik
Hofmann, Till
et al.

[Poster]
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
In: 17. International Conference on Principles of Knowledge Representation and Reasoning online 2020-09-12 - 2020-09-18, 2020

Hofmann, Till
Lakemeyer, Gerhard

[Contribution to a conference proceedings]
Separation Logic and Logics with Team Semantics
In: Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V), Jouko Väänänen and Fan Yang (eds.), 9-15, 2020

Grädel, Erich (Corresponding author)
Haase, Darion (Corresponding author)
Wilke, Richard Marlon (Corresponding author)

[Contribution to a conference proceedings]
On the Presburger Fragment of Logics with Multiteam Semantics
In: Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V), Jouko Väänänen and Fan Yang (eds.), 53-58, 2020

Wilke, Richard Marlon (Corresponding author)

[Preprint]
Logics with Multiteam Semantics, 2020
[DOI: 10.18154/RWTH-2020-12350]

Grädel, Erich (Corresponding author)
Wilke, Richard Marlon (Corresponding author)

[Dissertation / PhD Thesis]
Competitive variants of discrete and continuous flows over time, 2020
[DOI: 10.18154/RWTH-2020-11648]

Vargas Koch, Laura

[Report]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020

Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard Marlon
Dannert, Katrin M.
Lindner, Peter
et al.

[Contribution to a book, Contribution to a conference proceedings]
The Effective Residual Capacity in Railway Networks with Predefined Train Services
In: Operations research proceedings 2019 : selected papers of the Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019 / Janis S. Neufeld, Udo Buscher, Rainer Lasch, Dominik Möst, Jörn Schönberger, editors, 725-731, 2020
[DOI: 10.1007/978-3-030-48439-2_88]

Weik, Norman (Corresponding author)
Hemminki, Emma
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Probabilistic Simulation of a Railway Timetable
In: 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems : ATMOS 2020, September 7-8, 2020, Pisa, Italy (virtual conference) / edited by Dennis Huisman, Christos D. Zaroliagis, 16:1-16:14, 2020
[DOI: 10.4230/OASICS.ATMOS.2020.16]

Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Nießen, Nils

[Book, Dissertation / PhD Thesis]
The impact of coordination within transportation networks
In: Wirtschaftswissenschaften, 2020

Tauer, Björn Frederik

[Contribution to a book, Journal Article]
Minimum color-degree perfect b-matchings
In: Networks : an international journal, 77 (4), 477-494, 2020
[DOI: 10.1002/net.21974]

Anapolska, Mariia
Büsing, Christina Maria Katharina (Corresponding author)
Comis, Martin
Krabs, Tabea Claudia

[Contribution to a conference proceedings, Journal Article]
Extending UIC 406-based capacity analysis : New approaches for railway nodes and network effects
In: Journal of Rail Transport Planning & Management, 15, 100199, 2020
[DOI: 10.1016/j.jrtpm.2020.100199]

Weik, Norman
Warg, Jennifer
Johansson, Ingrid (Corresponding author)
Bohlin, Markus
Nießen, Nils

[Contribution to a conference proceedings, Journal Article]
Quantifying the effects of running time variability on the capacity of rail corridors
In: Journal of Rail Transport Planning & Management, 15, 100203, 2020
[DOI: 10.1016/j.jrtpm.2020.100203]

Weik, Norman (Corresponding author)
Nießen, Nils

[Contribution to a conference proceedings]
Analyse der Umsetzung von Eisenbahnprojekten des BVWP 2003
In: Die Schere zwischen Wunsch und Wirklichkeit : 36. Horber Schienen-Tage, 21. bis 25. November 2018, Horb am Neckar : Tagungsband / herausgegeben von Christina Brock, Rudolf Barth, 65-73, 2020

Isenhöfer, Laura
Zieger, Stephan

[Contribution to a book, Contribution to a conference proceedings]
Approximating Values of Generalized-Reachability Stochastic Games
In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020, Saarbrücken, Germany / sponsored by ACM Special Interest Group on Logic and Computation (SIGLOG), IEEE Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, European Association for Theoretical Computer Science (EATCS) ; conference chairs: Holger Hermanns, Lijun Zhang, Naoki Kobayashi, 102-115, 2020
[DOI: 10.1145/3373718.3394761]

Ashok, Pranav (Corresponding author)
Chatterjee, Krishnendu (Corresponding author)
Křetínský, Jan (Corresponding author)
Weininger, Maximilian (Corresponding author)
Winkler, Tobias (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Stochastic Games with Lexicographic Reachability-Safety Objectives
In: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds), 398-420, 2020
[DOI: 10.1007/978-3-030-53291-8_21]

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

[Contribution to a conference proceedings, Journal Article]
Multi-cost Bounded Tradeoff Analysis in MDP
In: Journal of automated reasoning, 64 (7), 1483-1522, 2020
[DOI: 10.1007/s10817-020-09574-9]

Hartmanns, Arnd (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim

[Contribution to a book, Contribution to a conference proceedings]
Generative Datalog with Continuous Distributions
In: PODS'20 : Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 14 -19, 2020, Portland, OR USA / General Chair: Dan Suciu (University of Washington, USA); Program Chair: Yufei Tao; Proceedings Chair: Zhewei Wei, 347-360, 2020
[DOI: 10.1145/3375395.3387659]

Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Lindner, Peter (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Scenario-Based Verification of Uncertain MDPs
In: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, 287-305, 2020
[DOI: 10.1007/978-3-030-45190-5_16]

Cubuktepe, Murat
Jansen, Nils (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Topcu, Ufuk

[Conference Presentation]
Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
In: 20. Central European Conference on Cryptology Zagreb 2020-06-24 - 2020-06-26, 2020

Klinger, Andreas Gabriel
Wüller, Stefan
Traverso, Giulia
Meyer, Ulrike

[Contribution to a conference proceedings]
Agent-based simulation of medical care processes in rural areas with the aid of current data on ICT usage readiness among elderly patients
In: [HCI INTERNATIONAL 2020 22nd International Conference on Human-Computer Interaction, HCII20], 2020
[DOI: 10.1007/978-3-030-50249-2_1]

Büsing, Christina Maria Katharina (Corresponding author)
Schmitz, Sabrina
Anapolska, Mariia
Theis, Sabine
Wille, Matthias
et al.

[Dissertation / PhD Thesis]
Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability, 2020
[DOI: 10.18154/RWTH-2020-06771]

Weik, Norman

[Contribution to a book, Contribution to a conference proceedings]
Polynomial Loops: Beyond Termination
In: Proceedings of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 279-297, 2020
[DOI: 10.29007/nxv1]

Hark, Marcel Tobias
Frohn, Florian
Giesl, Jürgen

[Contribution to a book, Contribution to a conference proceedings]
Freight Train Scheduling in Railway Systems
In: Measurement, modelling, and evaluation of computing systems : 20th International GI/ITG Conference, MMB 2020 : Saarbrücken, Germany, March 16-18, 2020 : proceedings / Holger Hermanns (Ed.), 225-241, 2020
[DOI: 10.1007/978-3-030-43024-5_14]

Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
In: Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König, 522-541, 2020
[DOI: 10.1007/978-3-030-45231-5_27]

Löding, Christof
Pirogov, Anton (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Infinite Probabilistic Databases
In: 23rd International Conference on Database Theory (ICDT 2020), 16:1-16:20, 2020
[DOI: 10.4230/LIPIcs.ICDT.2020.16]

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

[Conference Presentation, Journal Article]
Aiming low is harder: induction for lower bounds in probabilistic program verification
In: Proceedings of the ACM on programming languages, 4 (POPL), 1-28, 2020
[DOI: 10.1145/3371105]

Hark, Marcel Tobias (Corresponding author)
Kaminski, Benjamin Lucien
Giesl, Jürgen
Katoen, Joost-Pieter

[Dissertation / PhD Thesis]
Parameter synthesis in Markov models, 2020
[DOI: 10.18154/RWTH-2020-02348]

Junges, Sebastian

[Contribution to a book, Contribution to a conference proceedings]
Waiting for Trains: Complexity Results
In: Algorithms and Discrete Applied Mathematics : 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : Proceedings / Manoj Changat, Sandip Das (Eds.), 282-303, 2020
[DOI: 10.1007/978-3-030-39219-2_24]

Tauer, Björn Frederik (Corresponding author)
Fischer, Dennis
Fuchs, Janosch
Vargas Koch, Laura
Zieger, Stephan

[Contribution to a book, Contribution to a conference proceedings]
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
In: 28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain / edited by Maribel Fernández, Anca Muscholl, 2020
[DOI: 10.4230/LIPIcs.CSL.2020.25]

Hoelzel, Matthias (Corresponding author)
Wilke, Richard Marlon (Corresponding author)

[Contribution to a conference proceedings]
Identifying and Reducing Performance Uncertainty in UK Railway Timetables
In: IRSA 2019 : Tagungsband, Proceedings : 2nd International Railway Symposium Aachen, Aachen, Germany, 26-28 November 2019 / Herausgeber Univ.-Prof. Dr. ir. Dr. h. c. De Doncker, Rik W. (Institut für Stromrichtertechnik und elektrische Antriebe (ISEA), Aachen), Univ.-Prof. Dr.-Ing. Nießen, Nils (Verkehrswissenschaftliches Institut (VIA), Aachen), Univ.-Prof. Dr.-Ing. Schindler, Christian (Institut für Schienenfahrzeuge und Transportsysteme (IFS)/Institute of Rail Vehicles and Transport Systems, 288-305, 2020
[DOI: 10.18154/RWTH-2020-00143]

Armstrong, John (Corresponding author)
Zieger, Stephan
Preston, John
Nießen, Nils

[Contribution to a conference proceedings]
Ursache-Wirkung-Zusammenhang zwischen Mitteleinsatz und erzielter Infrastrukturqualität am Beispiel von Brücken
In: IRSA 2019 : Tagungsband, Proceedings : 2nd International Railway Symposium Aachen, Aachen, Germany, 26-28 November 2019 / Herausgeber Univ.-Prof. Dr. ir. Dr. h. c. De Doncker, Rik W. (Institut für Stromrichtertechnik und elektrische Antriebe (ISEA), Aachen), Univ.-Prof. Dr.-Ing. Nießen, Nils (Verkehrswissenschaftliches Institut (VIA), Aachen), Univ.-Prof. Dr.-Ing. Schindler, Christian (Institut für Schienenfahrzeuge und Transportsysteme (IFS)/Institute of Rail Vehicles and Transport Systems, 28-42, 2020
[DOI: 10.18154/RWTH-2019-11973]

Jacke, Tobias (Corresponding author)
Dickenbrok, Björn
Friesen, Nadine
Liebhold, Alexandra Angelika
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
In: ARCH19 : 6th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse and Matthias Althoff, 120-128, 2019
[DOI: 10.29007/g965]

Bu, Lei (Corresponding author)
Ray, Rajarshi (Corresponding author)
Schupp, Stefan (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
In: ARCH19 : 6th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse and Matthias Althoff, 14-40, 2019
[DOI: 10.29007/bj1w]

Althoff, Matthias (Corresponding author)
Bak, Stanley (Corresponding author)
Forets, Marcelo (Corresponding author)
Frehse, Goran (Corresponding author)
Kochdumper, Niklas
et al.

[Report]
The Carologistics RoboCup Logistics Team 2019, 2019

Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
Nash Flows Over Time with Spillback
In: Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2019) : San Diego, California, USA, 6-9 January 2019 / editor: Timothy M. Chan. - Volume 2, 935-945, 2019

Sering, Leon
Vargas Koch, Laura

[Contribution to a book, Contribution to a conference proceedings]
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
In: 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing : PRDC 2019 : Kyoto, Japan, 1-3 December 2019 : proceedings / sponsors PRDC 2019: IEEE Computer Society, Tokyo Metropolitan University, Hiroshima University, Kyoto Sangyo University, Nihon University, 266-275, 2019
[DOI: 10.1109/PRDC47002.2019.00057]

Khan, Shahid (Corresponding author)
Katoen, Joost-Pieter
Volk, Matthias
Bouissou, Marc

[Contribution to a book, Contribution to a conference proceedings]
Learning Definable Hypotheses on Trees
In: 22nd International Conference on Database Theory (ICDT 2019) / Herausgeber: Pablo Barcelo, Marco Calautti, 24, 18 Seiten, 2019
[DOI: 10.4230/LIPICS.ICDT.2019.24]

Ritzert, Martin (Corresponding author)
Grienenberger, Emilie (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Counterexample-Driven Synthesis for Probabilistic Program Sketches
In: Formal methods - the next 30 years : third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings / Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.), 101-120, 2019
[DOI: 10.1007/978-3-030-30942-8_8]

Češka, Milan
Hensel, Hans Christian
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter

[Contribution to a book, Contribution to a conference proceedings]
Shepherding Hordes of Markov Chains
In: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. - Part 2 / edited by Tomáš Vojnar, Lijun Zhang, 172-190, 2019
[DOI: 10.1007/978-3-030-17465-1_10]

Češka, Milan
Jansen, Nils
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter

[Contribution to a book, Contribution to a conference proceedings]
Are Parametric Markov Chains Monotonic?
In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 479-496, 2019
[DOI: 10.1007/978-3-030-31784-3_28]

Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter

[Contribution to a book, Contribution to a conference proceedings]
On the Complexity of Reachability in Parametric Markov Decision Processes
In: 30th International Conference on Concurrency Theory : CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands / edited by Wan Fokkink, Rob van Glabbeek, 2019
[DOI: 10.4230/LIPICS.CONCUR.2019.14]

Winkler, Tobias
Junges, Sebastian (Corresponding author)
Pérez, Guillermo A.
Katoen, Joost-Pieter

[Preprint]
Semiring Provenance for Guarded Logics, 2019

Grädel, Erich (Corresponding author)
Dannert, Katrin M.

[Contribution to a book, Contribution to a conference proceedings]
Scheduling Games with Machine-Dependent Priority Lists
In: Web and internet economics : 15th International Conference, WINE 2019, New York, NY, USA, December 10-12, 2019 : proceedings / Ioannis Caragiannis, Vahab Mirrokni, Evdokia Nikolova (eds.), 286-300, 2019
[DOI: 10.1007/978-3-030-35389-6_21]

Schröder, Marc (Corresponding author)
Tamir, Tami
Ravindran Vijayalakshmi, Vipin

[Contribution to a book, Contribution to a conference proceedings]
The Complexity of Packing Edge-Disjoint Paths
In: 14th International Symposium on Parameterized and Exact Computation : IPEC 2019, September 11-13, 2019, Munich, Germany / edited by Bart M.P. Jansen, Jan Arne Telle, 10, [1]-16, 2019
[DOI: 10.4230/LIPIcs.IPEC.2019.10]

Dreier, Jan (Corresponding author)
Fuchs, Janosch
Hartmann, Tim A.
Kuinke, Philipp
Rossmanith, Peter (Corresponding author)
et al.

[Contribution to a book, Contribution to a conference proceedings]
Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution
In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling / edited by J. Benton, Nir Lipovetzky, Eva Onaindia, David E. Smith, and Siddharth Srivastava, 754-763, 2019

Niemüller, Tim Dieter (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning
In: RoboCup 2019 : Robot World Cup XXIII / Stephan Chalup, Tim Niemueller, Jackrit Suthakorn, Mary-Ann Williams (eds.), 504-516, 2019
[DOI: 10.1007/978-3-030-35699-6_41]

Hofmann, Till (Corresponding author)
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
A Generalized Stochastic Petri Net Model for Performance Analysis of Trackside Infrastructure in Railway Station Areas under Uncertainty
In: The 2019 IEEE Intelligent Transportation Systems Conference - ITSC : Auckland, New Zealand, 27-30 October 2019 / IEEE, IEEE-ITSC 2019, ITSS - IEEE Intelligent Transportation Systems Society, 3732-3737, 2019
[DOI: 10.1109/ITSC.2019.8917459]

Schmidt, Malte
Weik, Norman (Corresponding author)
Zieger, Stephan
Schmeink, Anke
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Always be Two Steps Ahead of Your Enemy
In: 2019 IEEE 33rd International Parallel and Distributed Processing Symposium : IPDPS 2019 : 20-24 May 2019, Rio de Janeiro, Brazil : proceedings, 1073-1082, 2019
[DOI: 10.1109/IPDPS.2019.00114]

Gotte, Thorsten (Corresponding author)
Ravindran Vijayalakshmi, Vipin (Corresponding author)
Scheideler, Christian (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems
In: Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 : June 11th-June 14th, 2019, Caserta, Italy : communications of the ECMS, volume 33, issue 1, June 2019 / edited by: Mauro Iacono, Francesco Palmieri, Marco Gribaudo, Massimo Ficco ; organized by: ECMS - European Council for Modelling and Simulation ; hosted by: Università degli Studi della Campania "Luigi Vanvitelli", 7 Seiten, 2019
[DOI: 10.7148/2019-0407]

Leofante, Francesco
Schupp, Stefan
Ábrahám, Erika
Tacchella, Armando (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
New Optimizations and Heuristics for Determinization of Büchi Automata
In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 317-333, 2019
[DOI: 10.1007/978-3-030-31784-3_18]

Löding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)

[Preprint]
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics, 2019

Hoelzel, Matthias (Corresponding author)
Wilke, Richard Marlon

[Preprint]
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic, 2019
[DOI: 10.18154/RWTH-2019-09537]

Dannert, Katrin M.
Grädel, Erich (Corresponding author)
Naaf, Matthias Ferdinand
Tannen, Val

[Contribution to a book]
Model Repair Revamped
In: From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, 107-125, 2019
[DOI: 10.1007/978-3-030-31514-6_7]

Češka, Milan
Dehnert, Hans Christian
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter

[Contribution to a book, Contribution to a conference proceedings]
Weisfeiler and Leman Go Neural: Higher-Order Graph Neural Networks
In: The Thirty-Third AAAI Conference on Artificial Intelligence, the Thirty-First Innovative Applications of Artificial Intelligence Conference, the Ninth AAAI Symposium on Educational Advances in Artificial Intelligence : Honolulu, Hawaii USA - January 27-February 1, 2019 / sponsored by the Association for the Advancement of Artificial Intelligence, 4602-4609, 2019
[DOI: 10.1609/aaai.v33i01.33014602]

Morris, Christopher (Corresponding author)
Ritzert, Martin (Corresponding author)
Fey, Matthias (Corresponding author)
Hamilton, William L. (Corresponding author)
Lenssen, Jan Eric (Corresponding author)
et al.

[Dissertation / PhD Thesis]
State set representations and their usage in the reachability analysis of hybrid systems, 2019
[DOI: 10.18154/RWTH-2019-08875]

Schupp, Stefan

[Journal Article]
Ursache-Wirkung-Zusammenhang: Zusammenhang zwischen Mitteleinsatz und Infrastrukturqualität abbilden
In: Eisenbahntechnische Rundschau : ETR, 68 (9), 37-41, 2019

Jacke, Tobias (Corresponding author)
Dickenbrok, Björn
Friesen, Nadine
Grub, Alexandra Angelika
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Computing Expected Runtimes for Constant Probability Programs
In: Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : Proceedings / Pascal Fontaine (Ed.), 269-286, 2019
[DOI: 10.1007/978-3-030-29436-6_16]

Giesl, Jürgen
Giesl, Peter
Hark, Marcel Tobias (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Formal Verification of Rewriting Rules for Dynamic Fault Trees
In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : Proceedings / Peter Csaba Ölveczky, Gwen Salaün (Eds.), 513-531, 2019
[DOI: 10.1007/978-3-030-30446-1_27]

Elderhalli, Yassmeen (Corresponding author)
Volk, Matthias
Hasan, Osman
Katoen, Joost-Pieter
Tahar, Sofiène

[Contribution to a book, Contribution to a conference proceedings]
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
In: Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.), 40-58, 2019
[DOI: 10.1007/978-3-030-27008-7_3]

Volk, Matthias (Corresponding author)
Weik, Norman
Katoen, Joost-Pieter
Nießen, Nils

[Contribution to a conference proceedings]
Quantifying the effects of variability on the capacity of rail corridors
In: [8th International Conference on Railway Operations Modelling and Analysis, ICROMA2019, 2019-06-17 - 2019-06-20, Norrköping, Schweden], 1741-1760, 2019

Weik, Norman (Corresponding author)
Nießen, Nils

[Contribution to a conference proceedings]
Extending UIC 406-based Capacity Analysis - New Approaches for Railway Nodes and Network Effects
In: [8th International Conference on Railway Operations Modelling and Analysis, ICROMA2019, 2019-06-17 - 2019-06-20, Norrköping, Schweden], 1761-1780, 2019

Weik, Norman (Corresponding author)
Warg, Jennifer
Johansson, Ingrid
Nießen, Nils
Bohlin, Markus

[Contribution to a book, Contribution to a conference proceedings]
Correct-by-construction policies for POMDPs
In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 6-8, 2019
[DOI: 10.1145/3313149.3313366]

Jansen, Nils (Corresponding author)
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Quatmann, Tim (Corresponding author)
Becker, Bernd (Corresponding author)
et al.

[Contribution to a book, Contribution to a conference proceedings]
Probabilistic Databases with an Infinite Open-World Assumption
In: PODS'19 : Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, July 1-3, 2019, Amsterdam, Netherlands / General Chair: Dan Suciu, 17-31, 2019
[DOI: 10.1145/3294052.3319681]

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

[Contribution to a book, Contribution to a conference proceedings]
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
In: 46th International Colloquium on Automata, Languages and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.), 120, 1-13, 2019
[DOI: 10.4230/LIPIcs.ICALP.2019.120]

Löding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)

[Contribution to a book]
Provenance Analysis : A Perspective for Description Logics?
In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday / Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter (eds.), 266-285, 2019
[DOI: 10.1007/978-3-030-22102-7_12]

Dannert, Katrin M.
Grädel, Erich (Corresponding author)

[Journal Article]
The synthesis problem of decentralized energy systems is strongly NP-hard
In: Computers & chemical engineering, 124, 343-349, 2019
[DOI: 10.1016/j.compchemeng.2019.02.002]

Goderbauer, Sebastian (Corresponding author)
Comis, Martin
Willamowski, Felix J. L.

[Contribution to a book, Contribution to a conference proceedings]
Performability Analysis of Railway Systems
In: 2018 International Conference on Intelligent Rail Transportation (ICIRT) : 12-14 Dec. 2018 / publisher: IEEE, 2019
[DOI: 10.1109/ICIRT.2018.8641589]

Weik, Norman (Corresponding author)
Nießen, Nils

[Dissertation / PhD Thesis]
Advanced weakest precondition calculi for probabilistic programs, 2019
[DOI: 10.18154/RWTH-2019-01829]

Kaminski, Benjamin Lucien

[Journal Article]
Safety analysis for vehicle guidance systems with dynamic fault trees
In: Reliability engineering & system safety, 186, 37-50, 2019
[DOI: 10.1016/j.ress.2019.02.005]

Ghadhab, Majdi
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Kuntz, Matthias
Volk, Matthias

[Contribution to a conference proceedings, Journal Article]
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
In: Proceedings of the ACM on programming languages, 3 (POPL), 34, 2019
[DOI: 10.1145/3290347]

Batz, Kevin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)
Noll, Thomas (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
In: Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac, 513-534, 2019
[DOI: 10.1007/978-3-030-11245-5_24]

Decker, Normann (Corresponding author)
Pirogov, Anton (Corresponding author)

[Journal Article]
On the hardness of analyzing probabilistic programs
In: Acta informatica, 56 (3), 255-285, 2018
[DOI: 10.1007/s00236-018-0321-1]

Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Nash Flows Over Time with Spillback
In: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms / [editor] Timothy M. Chan., 935-945, 2019
[DOI: 10.1137/1.9781611975482.57]

Sering, Leon
Vargas Koch, Laura

[Contribution to a book, Contribution to a conference proceedings]
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
In: ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse, 14-22, 2018
[DOI: 10.29007/q5tq]

Bu, Lei (Corresponding author)
Ray, Rajarshi (Corresponding author)
Schupp, Stefan (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
In: ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse, 23-52, 2018
[DOI: 10.29007/73mb]

Althoff, Matthias (Corresponding author)
Bak, Stanley (Corresponding author)
Chen, Xin (Corresponding author)
Fan, Chuchu (Corresponding author)
Forets, Marcelo (Corresponding author)
et al.

[Contribution to a conference proceedings]
CLIPS-based Execution for PDDL Planners
In: Proceedings of the 2nd Workshop on Integrated Planning, Acting, and Execution (ICAPS IntEx), 9 Seiten, 2018

Niemüller, Tim Dieter
Hofmann, Till
Lakemeyer, Gerhard

[Report]
The Carologistics RoboCup Logistics Team 2018, 2018

Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Schönitz, Sebastian
Niemüller, Tim Dieter
et al.

[Preprint]
Probabilistic Databases with an Infinite Open-World Assumption, 2018

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

[Contribution to a book, Contribution to a conference proceedings]
Finite-State Controllers of POMDPs using Parameter Synthesis
In: 34th Conference on Uncertainty in Artificial Intelligence 2018 : Monterey, California, USA, 6-10 August 2018 / editors: Amir Globerson, Ricardo Silva ; Association for Uncertainty in Artificial Intelligence (AUAI). - Volume 1, 519-529, 2018

Junges, Sebastian
Jansen, Nils
Wimmer, Ralf
Quatmann, Tim
Winterer, Leonore
et al.

[Contribution to a book, Contribution to a conference proceedings]
Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions
In: The 2018 AAAI Spring Symposium Series technical report : papers presented at the 2018 AAAI Spring Symposium, 549-553, 2018

Hofmann, Till
Mataré, Victor
Schiffer, Stefan
Alexander, Ferrein
Lakemeyer, Gerhard

[Contribution to a conference proceedings]
A Logic for Specifying Metric Temporal Constraints for Golog Programs
In: CogRob 2018, 11th Cognitive Robotics Workshop : proceedings of the 11th Cognitive Robotics Workshop (CogRob-18), held in conjunction with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-2018) : Tempe, Arizona, USA, October 27, 2018, 36-46, 2018

Hofmann, Till
Lakemeyer, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods
In: Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) : Research report 483, August 2018 / Erika Ábrahám and Silvia Lizeth Tapia Tarifa (eds.), 2 Seiten, 2018

Schupp, Stefan (Corresponding author)
Ábrahám, Erika

[Contribution to a book, Contribution to a conference proceedings]
Privacy-Preserving Trade Chain Detection
In: Data privacy management, cryptocurrencies and blockchain technology : ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018 : proceedings / Joaquin Garcia-Alfaro, Jordi Herrera-Joancomarti, Giovanni Livraga, Ruben Rios (eds.), 373-388, 2018
[DOI: 10.1007/978-3-030-00305-0_26]

Wüller, Stefan (Corresponding author)
Breuer, Malte
Meyer, Ulrike
Wetzel, Susanne

[Contribution to a book, Contribution to a conference proceedings]
Equilibria in Routing Games with Edge Priorities
In: Web and internet economics : 14th International Conference, WINE 2018, Oxford, UK, December 15-17, 2018 : proceedings / George Christodoulou, Tobias Harks (eds.), 408-422, 2018
[DOI: 10.1007/978-3-030-04612-5_27]

Scheffler, Robert (Corresponding author)
Strehler, Martin
Vargas Koch, Laura

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Exploring Sparse Graphs with Advice (Extended Abstract)
In: Approximation and Online Algorithms : 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers / edited by Leah Epstein, Thomas Erlebach, 102-117, 2018
[DOI: 10.1007/978-3-030-04693-4_7]

Bockenhauer, Hans-Joachim (Corresponding author)
Fuchs, Janosch
Unger, Walter

[Contribution to a book, Contribution to a conference proceedings]
Model Checking for Safe Navigation Among Humans
In: Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.), 207-222, 2018
[DOI: 10.1007/978-3-319-99154-2_13]

Junges, Sebastian
Jansen, Nils (Corresponding author)
Katoen, Joost-Pieter
Topcu, Ufuk
Zhang, Ruohan
et al.

[Contribution to a book, Contribution to a conference proceedings]
Evaluation of Equational Constraints for CAD in SMT Solving
In: Satisfiability checking and symbolic computation : SC-Square 2018 : proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, co-located with Federated Logic Conference (FLOC 2018) : Oxford, UK, July 11, 2018 / edited by Anna M. Bigatti (Dipartimento di Matematica, Università degli Studi di Genova, Genova, Italy), Martin Brain (Department of Computer Science, University of Oxford, Oxford, UK ), [19]-32, 2018

Haehn, Rebecca
Kremer, Gereon
Ábrahám, Erika

[Contribution to a book, Contribution to a conference proceedings]
Rule-Based Conditioning of Probabilistic Data
In: Scalable Uncertainty Management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi, 290-305, 2018
[DOI: 10.1007/978-3-030-00461-3_20]

van Keulen, Maurice (Corresponding author)
Kaminski, Benjamin Lucien
Matheja, Christoph
Katoen, Joost-Pieter

[Contribution to a book, Contribution to a conference proceedings]
Synthesis in pMDPs : A Tale of 1001 Parameters
In: Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang, 160-176, 2018
[DOI: 10.1007/978-3-030-01090-4]

Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Topcu, Ufuk

[Journal Article]
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
In: Journal of the ACM : JACM, 65 (5), 30:1-30:68, 2018
[DOI: 10.1145/3208102]

Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)
Olmedo, Federico (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs
In: Application and theory of petri nets and concurrency : 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018 : proceedings / Victor Khomenko, Olivier H. Roux (eds.), 272-293, 2018
[DOI: 10.1007/978-3-319-91268-4_14]

Junges, Sebastian
Katoen, Joost-Pieter
Stoelinga, Marielle
Volk, Matthias (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times
In: Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed, 186-213, 2018
[DOI: 10.1007/978-3-319-89884-1_7]

Batz, Kevin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)

[Contribution to a conference proceedings, Journal Article]
A new proof rule for almost-sure termination
In: Proceedings of the ACM on Programming Languages, 2, 33:1-33:28, 2018
[DOI: 10.1145/3158121]

McIver, Annabelle (Corresponding author)
Morgan, Carroll (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures
In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung, 3:1-3:16, 2018
[DOI: 10.4230/LIPIcs.CSL.2018.3]

Abu Zaid, Faried
Kuske, Dietrich
Lindner, Peter

[Journal Article]
The influence of buffer time distributions in delay propagation modelling of railway networks
In: Journal of Rail Transport Planning & Management, 8 (3/4), 220-232, 2018
[DOI: 10.1016/j.jrtpm.2018.09.001]

Zieger, Stephan (Corresponding author)
Weik, Norman
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
The impact of buffer time distributions on the nominal capacity of railway lines
In: Computers in Railways XVI : Railway Engineering Design and Operation / Edited By: G. Passerini, Marche Polytechnic University, Italy; J. M. Mera, Polytechnic University of Madrid, Spain; N. Tomii, Chiba Institute of Technology, Japan; P. Tzieropoulos, Ecole Polytechnique Federale de Lausanne, Switzerland, 307-318, 2018
[DOI: 10.2495/CR180281]

Zieger, Stephan (Corresponding author)
Weik, Norman
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Multi-cost Bounded Reachability in MDP
In: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman, 320-339, 2018
[DOI: 10.1007/978-3-319-89963-3_19]

Hartmanns, Arnd
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
In: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman, 287-302, 2018
[DOI: 10.1007/978-3-319-89963-3_17]

Schupp, Stefan (Corresponding author)
Ábrahám, Erika

[Contribution to a book, Contribution to a conference proceedings]
Spread the Work : Multi-threaded Safety Analysis for Hybrid Systems
In: Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / Einar Broch Johnsen, Ina Schaefer (eds.), 89-104, 2018
[DOI: 10.1007/978-3-319-92970-5_6]

Schupp, Stefan
Ábrahám, Erika (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Oligopolistic Competitive Packet Routing
In: 18th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems : ATMOS 2018, August 23-24, 2018, Helsinki, Finland / edited by Ralf Borndörfer, Sabine Storandt, 13:1-13:22, 2018
[DOI: 10.4230/OASICS.ATMOS.2018.13]

Peis, Britta (Corresponding author)
Tauer, Björn Frederik (Corresponding author)
Timmermans, Veerle (Corresponding author)
Vargas Koch, Laura (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Context-Dependent Reachability Analysis for Hybrid Systems
In: 2018 IEEE 19th International Conference on Information Reuse and Integration for Data Science : IRI 2018 : 7-9 July 2018, Salt Lake City, Utah, USA : proceedings / publisher: IEEE, 518-525, 2018
[DOI: 10.1109/IRI.2018.00082]

Schupp, Stefan (Corresponding author)
Winkens, Justin (Corresponding author)
Ábrahám, Erika (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
On Finitely Ambiguous Büchi Automata
In: Developments in language theory ; 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / Mizuho Hoshi, Shinnosuke Seki (eds.), 503-515, 2018
[DOI: 10.1007/978-3-319-98654-8_41]

Löding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)

[Journal Article]
Analyse der Umsetzung von Aus- und Neubauvorhaben im Bundesverkehrswegeplan 2003
In: Eisenbahntechnische Rundschau, 67 (7+8), 52-57, 2018

Isenhöfer, Laura
Zieger, Stephan (Corresponding author)

[Contribution to a conference proceedings]
Minimum Color-Degree Perfect b-Matchings
In: [16th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW, 2018-06-18 - 2018-06-20, Paris, France], 13-16, 2018

Anapolska, Mariia
Büsing, Christina Maria Katharina (Corresponding author)
Comis, Martin (Corresponding author)

[Journal Article]
Competitive Packet Routing with Priority Lists
In: ACM Transactions on Economics and Computation, 6 (1), 4, 2018
[DOI: 10.1145/3184137]

Harks, Tobias
Peis, Britta
Schmand, Daniel
Tauer, Björn Frederik
Vargas Koch, Laura

[Dissertation / PhD Thesis]
Privacy-preserving electronic bartering, 2018
[DOI: 10.18154/RWTH-2018-222969]

Wüller, Stefan

[Contribution to a conference proceedings]
The influence of buffer time distributions on delay propagation in railway networks
In: IRSA 2017 : Tagungsband, Proceedings : 1st International Railway Symposium Aachen, Aachen, Germany, 28-30 November 2017 / Herausgeber Univ.-Prof. Dr. ir. Dr. h. c. De Doncker, Rik W. (Institut für Stromrichtertechnik und elektrische Antriebe (ISEA), Aachen), Univ.-Prof. Dr.-Ing. Nießen, Nils (Verkehrswissenschaftliches Institut (VIA), Aachen), Univ.-Prof. Dr.-Ing. Schindler, Christian (Institut für Schienenfahrzeuge und Transportsysteme (IFS)/Institute of Rail Vehicles and Transport Systems, 279-295, 2018
[DOI: 10.18154/RWTH-2018-222704]

Zieger, Stephan (Corresponding author)
Weik, Norman
Nießen, Nils

[Contribution to a book, Journal Article]
Multi-budgeted matching problems
In: Networks : an international journal, 72 (1), 25-41, 2018
[DOI: 10.1002/net.21802]

Büsing, Christina Maria Katharina
Comis, Martin (Corresponding author)

[Journal Article]
Fast Dynamic Fault Tree Analysis by Model Checking Techniques
In: IEEE transactions on industrial informatics, 14 (1), 370-379, 2017
[DOI: 10.1109/TII.2017.2710316]

Volk, Matthias
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter

[Journal Article]
Conditioning in Probabilistic Programming
In: ACM transactions on programming languages and systems : ACM TOPLAS, 40 (1), 4, 2017
[DOI: 10.1145/3156018]

Olmedo, Federico (Corresponding author)
Gretz, Friedrich (Corresponding author)
Jansen, Nils (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
et al.

[Contribution to a book, Contribution to a conference proceedings]
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
In: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools : VALUETOOLS 2017 : 5-7 December 2017, Venice, Italy / general co-chairs: Andrea Marin, University of Venice - Ca', Foscari, Italy, Benny Van Houdt, University of Antwerp, Belgium ; technical programme committe chairs: Giuliano Casale, Imperial College London, United Kingdom, Dorina Petriu, Carleton University, Canada, Sabina Rossi, University of Venice - Ca', Foscari, Italy, 178-185, 2017
[DOI: 10.1145/3150928.3150938]

Hüls, Jannik (Corresponding author)
Schupp, Stefan (Corresponding author)
Remke, Anne (Corresponding author)
Ábrahám, Erika (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Using Secure Graph Algorithms for the Privacy-Preserving Identification of Optimal Bartering Opportunities
In: WPES’17 : proceedings of the 2017 Workshop on Privacy in the Electronic Society, 123-132, 2017
[DOI: 10.1145/3139550.3139557]

Wüller, Stefan (Corresponding author)
Vu, Michael (Corresponding author)
Meyer, Ulrike (Corresponding author)
Wetzel, Susanne (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
A Storm is Coming: A Modern Probabilistic Model Checker
In: Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2, 592-600, 2017
[DOI: 10.1007/978-3-319-63390-9_31]

Dehnert, Hans Christian (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias

[Contribution to a book, Contribution to a conference proceedings]
Motion planning under partial observability using game-based abstraction
In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC) : December 12-15, 2017, Melbourne, Australia, 2201-2208, 2017
[DOI: 10.1109/CDC.2017.8263971]

Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils
Topcu, Ufuk
et al.

[Contribution to a book, Contribution to a conference proceedings]
Learning MSO-definable hypotheses on strings
In: [International Conference on Algorithmic Learning Theory, ALT 2017, 2017-10-15 - 2017-10-17, Kyoto, Japan], 434-451, 2017

Grohe, Martin (Corresponding author)
Löding, Christof (Corresponding author)
Ritzert, Martin (Corresponding author)

[Journal Article]
A quasi-birth-and-death process approach for integrated capacity and reliability modeling of railway systems
In: Journal of Rail Transport Planning & Management, 7 (3), 114-126, 2017
[DOI: 10.1016/j.jrtpm.2017.06.001]

Weik, Norman (Corresponding author)
Nießen, Nils

[Journal Article]
Fault trees on a diet: automated reduction by graph rewriting
In: Formal aspects of computing, 29 (4), 651-703, 2017
[DOI: 10.1007/s00165-016-0412-0]

Junges, Sebastian (Corresponding author)
Guck, Dennis
Katoen, Joost-Pieter
Rensink, Arend
Stoelinga, Mariëlle

[Journal Article]
Designing privacy-preserving interval operations based on homomorphic encryption and secret sharing techniques
In: Journal of computer security, 25 (1), 59-81, 2017
[DOI: 10.3233/JCS-16830]

Wüller, Stefan (Corresponding author)
Mayer, Daniel
Förg, Fabian
Schüppen, Samuel
Assadsolimani, Benjamin
et al.

[Contribution to a book, Contribution to a conference proceedings]
Der Einfluss von Pufferzeitverteilungen im Fahrplan auf die Modellierung der Folgeverspätungen im Eisenbahnwesen
In: 26. Verkehrswissenschaftliche Tage an der Technischen Universität Dresden : Tagungsband : 14 und 15. März 2018 / Fakultät Verkehrswissenschaften, 731-745

Zieger, Stephan (Corresponding author)
Weik, Norman
Nießen, Nils