[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 conference proceedings]
Does a Program Yield the Right Distribution?Verifying Probabilistic Programs via Generating Functions
In: [34th International Conference on Computer Aided Verification, CAV22, 2022-08-07 - 2022-08-10, Haifa, Israel], 2022

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

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

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

[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 (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], 20 pages, 2022

Armstrong, John
Preston, John
Zieger, Stephan (Corresponding author)
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 pages, 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: Out of Control: Reducing Probabilistic Models by Control-State Elimination, 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

[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 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, 2021
[DOI: 10.24963/ijcai.2021/269]

Liu, Daxin (Corresponding author)
Lakemeyer, Gerhard

[Contribution to a conference proceedings]
On the Progression of Belief
In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 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, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graç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: [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) : 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 (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]
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 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