[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, 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 / Hung, Dang Van (Editor) ; Cham : Springer International Publishing, 2020, Chapter 29 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-59151-9=978-3-030-59152-6 ; doi:10.1007/978-3-030-59152-6, 518 - 534, 2020
[DOI: 10.1007/978-3-030-59152-6_29]

Hung, Dang Van (Editor)
Sokolsky, Oleg (Editor)
Ábrahám, Erika
Bartocci, Ezio
Bonakdarpour, Borzoo
et al.

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

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