[Fachzeitschriftenartikel]
Fast Algorithms for Semantic Association Search and Pattern Mining
In: IEEE transactions on knowledge and data engineering : TKDE, 33 (4), 1490-1502, 2019
[DOI: 10.1109/TKDE.2019.2942031]

Cheng, Gong (Corresponding author)
Liu, Daxin
Qu, Yuzhong

[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
Hark, Marcel Tobias (Corresponding author)
Giesl, Jürgen (Corresponding author)

[Fachzeitschriftenartikel]
Fine-grained Complexity Analysis of Two Classic TSP Variants
In: ACM transactions on algorithms, 17 (1), 1-29, 2021
[DOI: 10.1145/3414845]

de Berg, Mark
Buchin, Kevin
Jansen, Bart M. P. (Corresponding author)
Woeginger, Gerhard (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

[Fachzeitschriftenartikel]
The subset sum game revisited
In: Theory of computing systems, 2021
[DOI: 10.1007/s00224-021-10034-z]

Pieterse, Astrid
Woeginger, Gerhard (Corresponding author)

[Fachzeitschriftenartikel]
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
Grohe, Martin

[Buch]
Foundations of probabilistic programming, xiv, 568 Seiten : Illustrationen, 2020
[DOI: 10.1017/9781108770750]

Barthe, Gilles (Editor)
Katoen, Joost-Pieter (Editor)
Silva, Alexandra (Editor)

[Fachzeitschriftenartikel]
Robust strategic planning for mobile medical units with steerable and unsteerable demands
In: European journal of operational research : EJOR, 2021
[DOI: 10.1016/j.ejor.2021.02.037]

Büsing, Christina
Comis, Martin (Corresponding author)
Schmidt, Eva
Streicher, Manuel

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

Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)

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

[Doktorarbeit]
Determinization and ambiguity of classical and probabilistic Büchi automata, 1 Online-Ressource : Illustrationen, Diagramme, 2021

Pirogov, Anton

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

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

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

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

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

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
Improving Approximate Pure Nash Equilibria in Congestion Games
In: Web and Internet Economics / Chen, Xujin (Editor) [https://orcid.org/0000-0001-7844-5411] ; Cham : Springer International Publishing, 2020, Chapter 20 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-64945-6=978-3-030-64946-3 ; doi:10.1007/978-3-030-64946-3, 280-294, 2020
[DOI: 10.1007/978-3-030-64946-3_20]

Ravindran Vijayalakshmi, Vipin (Corresponding author)
Skopalik, Alexander

[Masterarbeit]
Parameter synthesis in probabilistic timed automata, 91 Seiten, 2020

Kohlen, Bram
Spel, Jip Josephine (Consultant)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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 (Corresponding author)
Giesl, Jürgen

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

[Bericht]
The Carologistics RoboCup Logistics Team 2020, 10 Seiten, 2020

Hofmann, Till
Eltester, Sebastian
Viehmann, Tarik
Limpert, Nicolas
Mataré, Victor
et al.

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

[Preprint]
Logics with Multiteam Semantics, 2020

Grädel, Erich (Corresponding author)
Wilke, Richard (Corresponding author)

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

Vargas Koch, Laura

[Bericht]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 85 Seiten, 2020

Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard
Dannert, Katrin M.
Lindner, Peter
et al.

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

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

[Preprint]
Generating Functions for Probabilistic Programs, 2020

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

[Bachelorarbeit]
Gradient descent on parametric Markov Chains, 31 Seiten, 2020

Heck, Linus

[Buch, Doktorarbeit]
The impact of coordination within transportation networks, xi, 243 Seiten : Illustrationen, Diagramme, 2020

Tauer, Björn Frederik

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

Anapolska, Mariia
Büsing, Christina Maria Katharina (Corresponding author)
Comis, Martin
Krabs, Tabea Claudia

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

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

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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 (Corresponding author)
Chatterjee, Krishnendu (Corresponding author)
Křetínský, Jan (Corresponding author)
Weininger, Maximilian (Corresponding author)
Winkler, Tobias (Corresponding author)

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

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

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

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

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

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

[Beitrag zu einem Tagungsband]
Macro Operator Synthesis for ADL Domains
In: Proceedings of the 24th European Conference on Artificial Intelligence (ECAI), 2020
[DOI: 10.3233/FAIA200164]

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

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

Weik, Norman

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

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

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