[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