[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

[Report]
The Carologistics RoboCup Logistics Team 2020, 10 Seiten, 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

[Dissertation / PhD Thesis]
Competitive variants of discrete and continuous flows over time, 1 Online-Ressource (xv, 211 Seiten) : Illustrationen, Diagramme, 2020

Vargas Koch, Laura

[Report]
UnRAVeL - Research Training Group, 2020

Katoen, Joost-Pieter
Ritzert, Martin Alexander Felix
Wilke, Richard
Dannert, Katrin
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: [Ebook] Operations Research Proceedings 2019 : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019 / Neufeld, Janis S. ; Buscher, Udo ; Lasch, Rainer ; Möst, Dominik ; Schönberger, Jörn 1st ed. 2020, Cham, 725-731, 2020
[DOI: 10.1007/978-3-030-48439-2]

Weik, Norman
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), 16:1-16:14, 2020
[DOI: 10.4230/OASICS.ATMOS.2020.16]

Haehn, Rebecca
Ábrahám, Erika
Nießen, Nils

[Preprint]
Generating Functions for Probabilistic Programs, 2020

Klinkenberg, Lutz
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Moerman, Joshua
et al.

[Journal Article]
Minimum color-degree perfect b-matchings
In: Networks : an international journal, 2020
[DOI: 10.1002/net.21974]

Anapolska, Mariia
Büsing, Christina Maria Katharina
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
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
Nießen, Nils

[Contribution to a conference proceedings]
Analyse der Umsetzung von Eisenbahnprojekten des BVWP 2003
In: [36. Horber Schienen-Tage, 2018-11-21 - 2018-11-25, Horb am Neckar, Germany], 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, 102-115, 2020
[DOI: 10.1145/3373718.3394761]

Ashok, Pranav
Chatterjee, Krishnendu
Křetínský, Jan
Weininger, Maximilian
Winkler, Tobias

[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

[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
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim

[Contribution to a book, Contribution to a conference proceedings]
Generative Datalog with Continuous Distributions
In: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - ACM New York, NY, USA, 2020. - ISBN 9781450371087 - doi:10.1145/3375395.3387659, 347-360, 2020
[DOI: 10.1145/3375395.3387659]

Grohe, Martin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter

[Journal Article]
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
In: IEEE transactions on automatic control, 2020
[DOI: 10.1109/TAC.2020.2990140]

Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils
Topcu, Ufuk
et al.

[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
Junges, Sebastian
Katoen, Joost-Pieter
Topcu, Ufuk

[Conference Presentation]
Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
In: 20th 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
Schmitz, Sabrina
Anapolska, Mariia
Theis, Sabine
Wille, Matthias
et al.

[Contribution to a conference proceedings]
Macro Operator Synthesis for ADL Domains
In: Proceedings of the 24th European Conference on Artificial Intelligence (ECAI), 2020
[DOI: 10.3233/FAIA200164]

Hofmann, Till
Niemueller, Tim
Lakemeyer, Gerhard

[Dissertation / PhD Thesis]
Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability, 1 Online-Ressource (xx, 192 Seiten) : Illustrationen, Diagramme, 2020

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
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 / edited by Holger Hermanns, 225-241, 2020
[DOI: 10.1007/978-3-030-43024-5_14]

Haehn, Rebecca
Á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

[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
Lindner, Peter

[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
Kaminski, Benjamin Lucien
Giesl, Jürgen
Katoen, Joost-Pieter

[Dissertation / PhD Thesis]
Parameter synthesis in Markov models, 1 Online-Ressource (xv, 371 Seiten) : Illustrationen, 2020

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
Fischer, Dennis
Fuchs, Janosch
Vargas Koch, Laura
Zieger, Stephan

[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, CSL2020], 2020
[DOI: 10.4230/LIPICS.CSL.2020.25]

Hoelzel, Matthias
Wilke, Richard

[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

Armstrong, John
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: [2nd International Railway Symposium Aachen, IRSA 2019, 2019-11-26 - 2019-11-28, Aachen, Germany], 28-42, 2020

Jacke, Tobias
Dickenbrok, Björn
Friesen, Nadine
Liebhold, Alexandra Angelika
Nießen, Nils

[Report]
The Carologistics RoboCup Logistics Team 2019, 8 Seiten, 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, 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
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 Alexander Felix
Grienenberger, Emilie

[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
Katoen, Joost-Pieter

[Contribution to a book, Contribution to a conference proceedings]
Shepherding Hordes of Markov Chains
In: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. - Part 2 / edited by Tomáš Vojnar, Lijun Zhang, 172-190, 2019
[DOI: 10.1007/978-3-030-17465-1_10]

Češka, Milan
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter

[Contribution to a book, Contribution to a conference proceedings]
Are Parametric Markov Chains Monotonic?
In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 479-496, 2019
[DOI: 10.1007/978-3-030-31784-3_28]

Spel, Jip Josephine
Junges, Sebastian
Katoen, Joost-Pieter

[Contribution to a book, Contribution to a conference proceedings]
On the Complexity of Reachability in Parametric Markov Decision Processes
In: 30th International Conference on Concurrency Theory : CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands / edited by Wan Fokkink, Rob van Glabbeek, 2019
[DOI: 10.4230/LIPICS.CONCUR.2019.14]

Winkler, Tobias
Junges, Sebastian
Pérez, Guillermo A.
Katoen, Joost-Pieter

[Preprint]
Semiring Provenance for Guarded Logics, 2019

Grädel, Erich
Dannert, Katrin M.

[Contribution to a book, Contribution to a conference proceedings]
Scheduling Games with Machine-Dependent Priority Lists
In: Web and internet economics : 15th International Conference, WINE 2019, New York, NY, USA, December 10-12, 2019 : proceedings / Ioannis Caragiannis, Vahab Mirrokni, Evdokia Nikolova (eds.), 286-300, 2019
[DOI: 10.1007/978-3-030-35389-6_21]

Schröder, Marc
Tamir, Tami
Ravindran Vijayalakshmi, Vipin

[Contribution to a book, Contribution to a conference proceedings]
The Complexity of Packing Edge-Disjoint Paths
In: 14th International Symposium on Parameterized and Exact Computation : IPEC 2019, September 11-13, 2019, Munich, Germany / edited by Bart M.P. Jansen, Jan Arne Telle, 10, [1]-16, 2019
[DOI: 10.4230/LIPIcs.IPEC.2019.10]

Dreier, Jan
Fuchs, Janosch
Hartmann, Tim A.
Kuinke, Philipp
Rossmanith, Peter
et al.

[Contribution to a book, Contribution to a conference proceedings]
Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution
In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling / edited by J. Benton, Nir Lipovetzky, Eva Onaindia, David E. Smith, and Siddharth Srivastava, 754-763, 2019

Niemüller, Tim Dieter
Hofmann, Till
Lakemeyer, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning
In: RoboCup 2019 : Robot World Cup XXIII / Stephan Chalup, Tim Niemueller, Jackrit Suthakorn, Mary-Ann Williams (eds.), 504-516, 2019
[DOI: 10.1007/978-3-030-35699-6_41]

Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
A Generalized Stochastic Petri Net Model for Performance Analysis of Trackside Infrastructure in Railway Station Areas under Uncertainty
In: The 2019 IEEE Intelligent Transportation Systems Conference - ITSC : Auckland, New Zealand, 27-30 October 2019 / IEEE, IEEE-ITSC 2019, ITSS - IEEE Intelligent Transportation Systems Society, 3732-3737, 2019
[DOI: 10.1109/ITSC.2019.8917459]

Schmidt, Malte
Weik, Norman
Zieger, Stephan
Schmeink, Anke
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Always be Two Steps Ahead of Your Enemy
In: 2019 IEEE 33rd International Parallel and Distributed Processing Symposium : IPDPS 2019 : 20-24 May 2019, Rio de Janeiro, Brazil : proceedings, 1073-1082, 2019
[DOI: 10.1109/IPDPS.2019.00114]

Gotte, Thorsten
Ravindran Vijayalakshmi, Vipin
Scheideler, Christian

[Contribution to a book, Contribution to a conference proceedings]
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems
In: Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 : June 11th-June 14th, 2019, Caserta, Italy : communications of the ECMS, volume 33, issue 1, June 2019 / edited by: Mauro Iacono, Francesco Palmieri, Marco Gribaudo, Massimo Ficco ; organized by: ECMS - European Council for Modelling and Simulation ; hosted by: Università degli Studi della Campania "Luigi Vanvitelli", 7 Seiten, 2019
[DOI: 10.7148/2019-0407]

Leofante, Francesco
Schupp, Stefan
Ábrahám, Erika
Tacchella, Armando

[Contribution to a book, Contribution to a conference proceedings]
New Optimizations and Heuristics for Determinization of Büchi Automata
In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 317-333, 2019
[DOI: 10.1007/978-3-030-31784-3_18]

Löding, Christof
Pirogov, Anton