[Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
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)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

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

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

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

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

Wilke, Richard Marlon

[Abstract, Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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)

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

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

Ravindran Vijayalakshmi, Vipin

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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)

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

Lindner, Peter

[Buch, Doktorarbeit]
Robust primary care systems
In: Mathematik, 2021
[DOI: 10.18154/RWTH-2021-10500]

Comis, Martin

[Buchbeitrag, Beitrag zu einem Tagungsband]
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)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.

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

Ritzert, Martin

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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)

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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)

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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)

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

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

Hark, Marcel Tobias

[Buchbeitrag, Beitrag zu einem Tagungsband]
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)

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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)

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