[Journal Article]
Quality in rail timetabling - A detailed review of stakeholders’ interests compared with current practices in Germany
In: Journal of Rail Transport Planning & Management, 20, 100282, 2021
[DOI: 10.1016/j.jrtpm.2021.100282]

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

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

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

Comis, Martin

[Journal Article]
Synthesizing optimal bias in randomized self-stabilization
In: Distributed computing, 21 Seiten, 2021
[DOI: 10.1007/s00446-021-00408-4]

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

[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: [32nd IEEE Intelligent Vehicles Symposium, IV21, 2021-07-11 - 2021-07-17, online], 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) : [Proceedings] - IEEE, 2021. - ISBN 978-1-6654-1873-7 - doi:10.1109/CASE49439.2021.9551487, 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.

[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 Montreal, 19-27 August 2021 / Edited by Prof. Zhi-Hua Zhou. - International Joint Conferences on Artificial Intelligence Organization California, 2021, 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 Montreal, 19-27 August 2021 / Edited by Prof. Zhi-Hua Zhou. - International Joint Conferences on Artificial Intelligence Organization California, 2021, 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)

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

[Journal Article]
The probabilistic model checker STORM
In: International journal on software tools for technology transfer, 22 Seiten, 2021
[DOI: 10.1007/s10009-021-00633-z]

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

[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]
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 (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Lindner, Peter (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

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

Quatmann, Tim
Junges, Sebastian (Corresponding author)
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
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 (Corresponding author)
Ritzert, Martin
Wolf, Hinrikus Eike
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 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. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 1, 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, 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

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.

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

[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: 17th 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)
Wilke, Richard (Corresponding author)
Haase, Darion (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 (Corresponding author)

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

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