Publications

Results�194

Refine List

Source
[Conference Presentation]
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
In: 3rd Workshop on Explainable Logic-Based Knowledge Representation Haifa 2022-07-31 - 2022-07-31, 2022 Author(s)
Hofmann, Till (Corresponding author)
Belle, Vaishak (Corresponding author)
Source
[Abstract, Contribution to a book, Contribution to a conference proceedings]
Modelling the Railway Network Design Problem with Capacity Expansion under Timetable constraints
In: Conference Abstract Book, 261-261, 2022 Author(s)
Friesen, Nadine
Source
[Preprint]
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
In: 3rd Workshop on Explainable Logic-Based Knowledge Representation Haifa 2022-07-31 - 2022-07-31, 2022
[DOI: 10.48550/arXiv.2207.12763] Author(s)
Hofmann, Till (Corresponding author)
Belle, Vaishak (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Homomorphism Tensors and Linear Equations
In: 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), 20 Seiten, 2022
[DOI: 10.4230/LIPICS.ICALP.2022.70] Author(s)
Grohe, Martin
Rattan, Gaurav
Seppelt, Tim
Source
[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 Author(s)
Swoboda, Daniel
Hofmann, Till
Viehmann, Tarik
Lakemeyer, Gerhard
Source
[Contribution to a book, 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
[DOI: 10.1007/978-3-031-13185-1_5] Author(s)
Chen, Mingshuai
Katoen, Joost-Pieter
Klinkenberg, Lutz
Winkler, Tobias
Source
[Preprint]
On the Verification of Belief Programs, 2022 Author(s)
Liu, Daxin (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)
Source
[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] Author(s)
Gr�ne, Christoph Manfred (Corresponding author)
Zieger, Stephan
Source
[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] Author(s)
Batz, Kevin (Corresponding author)
Gallus, Adrian (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Winkler, Tobias (Corresponding author)
Source
[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] Author(s)
Bork, Alexander Nikolai (Corresponding author)
Katoen, Joost-Pieter
Quatmann, Tim
Source
[Journal Article]
Logics with Multiteam Semantics
In: ACM transactions on computational logic : TOCL, 23 (2), 13, 2022
[DOI: 10.1145/3487579] Author(s)
Gr�del, Erich (Corresponding author)
Wilke, Richard
Source
[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] Author(s)
Weik, Norman (Corresponding author)
Volk, Matthias
Katoen, Joost-Pieter
Nie�en, Nils
Source
[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] Author(s)
Winkler, Tobias (Corresponding author)
Gehnen, Christina
Katoen, Joost-Pieter
Source
[Preprint]
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics, 2022
[DOI: 10.48550/arXiv.2203.03425] Author(s)
Gr�del, Erich (Corresponding author)
Helal, Hayyan (Corresponding author)
Naaf, Matthias Ferdinand (Corresponding author)
Wilke, Richard (Corresponding author)
Source
[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] Author(s)
Heck, Linus
Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Moerman, Joshua
Katoen, Joost-Pieter
Source
[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 Author(s)
Zieger, Stephan (Corresponding author)
Lenze, Wiebke
Nie�en, Nils
Source
[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 Author(s)
Armstrong, John
Preston, John
Zieger, Stephan (Corresponding author)
Nie�en, Nils
Source
[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 Author(s)
Zieger, Stephan (Corresponding author)
Nie�en, Nils
Source
[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] Author(s)
Winkler, Tobias (Corresponding author)
Lehmann, Johannes
Katoen, Joost-Pieter
Source
[Journal Article]
Synthesizing optimal bias in randomized self-stabilization
In: Distributed computing, 35 (1), 37-57, 2021
[DOI: 10.1007/s00446-021-00408-4] Author(s)
Volk, Matthias (Corresponding author)
Bonakdarpour, Borzoo
Katoen, Joost-Pieter
Aflaki, Saba
Source
[Journal Article]
The probabilistic model checker STORM
In: International journal on software tools for technology transfer, 24 (4), 589-610, 2021
[DOI: 10.1007/s10009-021-00633-z] Author(s)
Hensel, Hans Christian
Junges, Sebastian
Katoen, Joost-Pieter (Corresponding author)
Quatmann, Tim
Volk, Matthias
Source
[Dissertation / PhD Thesis]
Reasoning about dependence and independence : teams and multiteams, 2021
[DOI: 10.18154/RWTH-2022-02743] Author(s)
Wilke, Richard Marlon
Source
[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 Author(s)
Friesen, Nadine (Corresponding author)
Bluhm, Saskia
Nie�en, Nils
Source
[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] Author(s)
Liu, Daxin (Corresponding author)
Lakemeyer, Gerhard
Source
[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] Author(s)
Liu, Daxin (Corresponding author)
Feng, Qihui
Source
[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] Author(s)
Schumacher, Tobias
Wolf, Hinrikus (Corresponding author)
Ritzert, Martin
Lemmerich, Florian
Grohe, Martin
et al.
Source
[Preprint]
Weisfeiler-Leman, Graph Spectra, and Random Walks, 2021
[DOI: 10.18154/RWTH-2022-01183] Author(s)
Rattan, Gaurav (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)
Source
[Preprint]
Homomorphism Tensors and Linear Equations, 2021 Author(s)
Grohe, Martin (Corresponding author)
Rattan, Gaurav (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)
Source
[Journal Article]
Probabilistic Data with Continuous Distributions
In: ACM SIGMOD record, 50 (1), 69-76, 2021
[DOI: 10.1145/3471485.3471502] Author(s)
Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter
Source
[Dissertation / PhD Thesis]
Selfishness in strategic resource allocation problems, 2021
[DOI: 10.18154/RWTH-2021-11656] Author(s)
Ravindran Vijayalakshmi, Vipin
Source
[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] Author(s)
Hofmann, Till
Schupp, Stefan
Source
[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] Author(s)
Fischer, Dennis (Corresponding author)
Hartmann, Tim A. (Corresponding author)
Lendl, Stefan (Corresponding author)
Woeginger, Gerhard (Corresponding author)
Source
[Dissertation / PhD Thesis]
The theory of infinite probabilistic databases, 2021
[DOI: 10.18154/RWTH-2021-10669] Author(s)
Lindner, Peter
Source
[Book, Dissertation / PhD Thesis]
Robust primary care systems
In: Mathematik, 2021
[DOI: 10.18154/RWTH-2021-10500] Author(s)
Comis, Martin
Source
[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] Author(s)
Zieger, Stephan (Corresponding author)
Nie�en, Nils (Corresponding author)
Source
[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] Author(s)
Maus, Maren (Corresponding author)
Lampe, Felix Josef Stefan
Friesen, Nadine
Heckmann, Mark
Elfert, Lea
et al.
Source
[Dissertation / PhD Thesis]
Learning on graphs with logic and neural networks, 2021
[DOI: 10.18154/RWTH-2021-09549] Author(s)
Ritzert, Martin
Source
[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] Author(s)
Hartmanns, Arnd (Corresponding author)
Katoen, Joost-Pieter
Kohlen, Bram
Spel, Jip Josephine
Source
[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] Author(s)
Habering, Daniel (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)
Source
[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] Author(s)
Viehmann, Tarik (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)
Source
[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] Author(s)
Winkler, Tobias (Corresponding author)
Weininger, Maximilian (Corresponding author)
Source
[Preprint]
Limitations of the Invertible-Map Equivalences, 2021 Author(s)
Dawar, Anuj (Corresponding author)
Gr�del, Erich (Corresponding author)
Lichter, Moritz (Corresponding author)
Source
[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] Author(s)
Klinger, Andreas Gabriel (Corresponding author)
W�ller, Stefan (Corresponding author)
Traverso, Giulia (Corresponding author)
Meyer, Ulrike (Corresponding author)
Source
[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] Author(s)
Haehn, Rebecca (Corresponding author)
�brah�m, Erika
Nie�en, Nils
Source
[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] Author(s)
Klinger, Andreas Gabriel (Corresponding author)
Meyer, Ulrike (Corresponding author)
Source
[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] Author(s)
Hoelzel, Matthias (Corresponding author)
Wilke, Richard (Corresponding author)
Source
[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] Author(s)
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
�brah�m, Erika (Corresponding author)
Kremer, Gereon (Corresponding author)
Source
[Dissertation / PhD Thesis]
Towards complete methods for automatic complexity and termination analysis of (probabilistic) programs, 2021
[DOI: 10.18154/RWTH-2021-06073] Author(s)
Hark, Marcel Tobias
Source
[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] Author(s)
Carmeli, Nofar (Corresponding author)
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
Standke, Christoph (Corresponding author)
Source
[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] Author(s)
Comis, Martin (Corresponding author)
Cleophas, Catherine
B�sing, Christina Maria Katharina
Source
[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] Author(s)
Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Source
[Journal Article]
Markov automata with multiple objectives
In: Formal methods in system design, 2021
[DOI: 10.1007/s10703-021-00364-6] Author(s)
Quatmann, Tim
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Source
[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] Author(s)
Meyer, Fabian Niklas
Hark, Marcel Tobias (Corresponding author)
Giesl, J�rgen (Corresponding author)
Source
[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] Author(s)
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
P�rez, Guillermo A.
Winkler, Tobias
Source
[Journal Article]
Graph Neural Networks for Maximum Constraint Satisfaction
In: Frontiers in artificial intelligence, 3, 580607, 2021
[DOI: 10.3389/frai.2020.580607] Author(s)
T�nshoff, Jan Martin (Corresponding author)
Ritzert, Martin
Wolf, Hinrikus
Grohe, Martin
Source
[Journal Article]
Robust strategic planning for mobile medical units with steerable and unsteerable demands
In: European journal of operational research : EJOR, 295 (1), 34-50, 2021
[DOI: 10.1016/j.ejor.2021.02.037] Author(s)
B�sing, Christina Maria Katharina
Comis, Martin (Corresponding author)
Schmidt, Eva
Streicher, Manuel
Source
[Contribution to a conference proceedings, Journal Article]
Flows Over Time as Continuous Limits of Packet-Based Network Simulations
In: Transportation research procedia, 52, 123-130, 2021 Author(s)
Ziemke, Theresa (Corresponding author)
Sering, Leon
Vargas Koch, Laura
Zimmer, Max
Nagel, Kai
et al.
Source
[Preprint]
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints, 2021
[DOI: 10.18154/RWTH-2021-02072] Author(s)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)
Source
[Contribution to a conference proceedings, Journal Article]
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] Author(s)
Ziemke, Theresa (Corresponding author)
Sering, Leon
Vargas Koch, Laura
Zimmer, Max
Nagel, Kai
et al.
Source
[Dissertation / PhD Thesis]
Determinization and ambiguity of classical and probabilistic B�chi automata, 2021
[DOI: 10.18154/RWTH-2021-02027] Author(s)
Pirogov, Anton
Source
[Contribution to a book, Contribution to a conference proceedings]
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] Author(s)
Matar�, Victor
Viehmann, Tarik
Hofmann, Till
Lakemeyer, Gerhard
Ferrein, Alexander
et al.
Source
[Contribution to a book, Contribution to a conference proceedings]
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] Author(s)
Hofmann, Till (Corresponding author)
Viehmann, Tarik
Gomaa, Mostafa
Habering, Daniel
Niem�ller, Tim Dieter
et al.
Source
[Journal Article]
Scheduling games with machine-dependent priority lists
In: Theoretical computer science, 855, 90-103, 2020
[DOI: 10.1016/j.tcs.2020.11.042] Author(s)
Ravindran Vijayalakshmi, Vipin
Schr�der, Marc
Tamir, Tami (Corresponding author)
Source
[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] Author(s)
Dannert, Katrin M. (Corresponding author)
Gr�del, Erich (Corresponding author)
Naaf, Matthias Ferdinand (Corresponding author)
Tannen, Val (Corresponding author)
Source
[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 Author(s)
Klinkenberg, Lutz (Corresponding author)
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Moerman, Joshua
et al.
Source
[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] Author(s)
Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils (Corresponding author)
Topcu, Ufuk
et al.
Source
[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] Author(s)
�brah�m, Erika
Bartocci, Ezio
Bonakdarpour, Borzoo (Corresponding author)
Dobe, Oyendrila
Source
[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] Author(s)
Hofmann, Till (Corresponding author)
Niem�ller, Tim Dieter
Lakemeyer, Gerhard
Source
[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] Author(s)
Bork, Alexander Nikolai
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Quatmann, Tim
Source
[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] Author(s)
Ravindran Vijayalakshmi, Vipin (Corresponding author)
Skopalik, Alexander
Source
[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] Author(s)
Frohn, Florian
Hark, Marcel Tobias (Corresponding author)
Giesl, J�rgen
Source
[Preprint]
The Effects of Randomness on the Stability of Node Embeddings, 2020 Author(s)
Schumacher, Tobias
Wolf, Hinrikus
Ritzert, Martin
Lemmerich, Florian
Bachmann, Jan
et al.
Source
[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] Author(s)
Fischer, Dennis
Woeginger, Gerhard (Corresponding author)
Source
[Report]
The Carologistics RoboCup Logistics Team 2020, 2020 Author(s)
Hofmann, Till
Eltester, Sebastian
Viehmann, Tarik
Limpert, Nicolas
Matar�, Victor
et al.
Source
[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 Author(s)
Matar�, Victor
Schiffer, Stefan
Ferrein, Alexander Antoine
Viehmann, Tarik
Hofmann, Till
et al.
Source
[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 Author(s)
Hofmann, Till
Lakemeyer, Gerhard
Source
[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 Author(s)
Gr�del, Erich (Corresponding author)
Wilke, Richard (Corresponding author)
Haase, Darion (Corresponding author)
Source
[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 Author(s)
Wilke, Richard (Corresponding author)
Source
[Preprint]
Logics with Multiteam Semantics, 2020
[DOI: 10.18154/RWTH-2020-12350] Author(s)
Gr�del, Erich (Corresponding author)
Wilke, Richard (Corresponding author)
Source
[Dissertation / PhD Thesis]
Competitive variants of discrete and continuous flows over time, 2020
[DOI: 10.18154/RWTH-2020-11648] Author(s)
Vargas Koch, Laura
Source
[Report]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020 Author(s)
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard
Dannert, Katrin M.
Lindner, Peter
et al.
Source
[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] Author(s)
Weik, Norman (Corresponding author)
Hemminki, Emma
Nie�en, Nils
Source
[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] Author(s)
Haehn, Rebecca (Corresponding author)
�brah�m, Erika
Nie�en, Nils
Source
[Book, Dissertation / PhD Thesis]
The impact of coordination within transportation networks
In: Wirtschaftswissenschaften, 2020 Author(s)
Tauer, Bj�rn Frederik
Source
[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] Author(s)
Anapolska, Mariia
B�sing, Christina Maria Katharina (Corresponding author)
Comis, Martin
Krabs, Tabea Claudia
Source
[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] Author(s)
Weik, Norman
Warg, Jennifer
Johansson, Ingrid (Corresponding author)
Bohlin, Markus
Nie�en, Nils
Source
[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] Author(s)
Weik, Norman (Corresponding author)
Nie�en, Nils
Source
[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 Author(s)
Isenh�fer, Laura
Zieger, Stephan
Source
[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] Author(s)
Ashok, Pranav (Corresponding author)
Chatterjee, Krishnendu (Corresponding author)
Křet�nsk�, Jan (Corresponding author)
Weininger, Maximilian (Corresponding author)
Winkler, Tobias (Corresponding author)
Source
[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] Author(s)
Chatterjee, Krishnendu
Katoen, Joost-Pieter
Weininger, Maximilian
Winkler, Tobias (Corresponding author)
Source
[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] Author(s)
Hartmanns, Arnd (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim
Source
[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] Author(s)
Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Lindner, Peter (Corresponding author)
Source
[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] Author(s)
Cubuktepe, Murat
Jansen, Nils (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Topcu, Ufuk
Source
[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 Author(s)
Klinger, Andreas Gabriel
Wüller, Stefan
Traverso, Giulia
Meyer, Ulrike
Source
[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] Author(s)
B�sing, Christina Maria Katharina (Corresponding author)
Schmitz, Sabrina
Anapolska, Mariia
Theis, Sabine
Wille, Matthias
et al.
Source
[Dissertation / PhD Thesis]
Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability, 2020
[DOI: 10.18154/RWTH-2020-06771] Author(s)
Weik, Norman
Source
[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] Author(s)
Hark, Marcel Tobias
Frohn, Florian
Giesl, J�rgen
Source
[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] Author(s)
Haehn, Rebecca (Corresponding author)
�brah�m, Erika
Nie�en, Nils
Source
[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] Author(s)
L�ding, Christof
Pirogov, Anton (Corresponding author)
Source
[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] Author(s)
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
Source
[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] Author(s)
Hark, Marcel Tobias (Corresponding author)
Kaminski, Benjamin Lucien
Giesl, J�rgen
Katoen, Joost-Pieter
Source
[Dissertation / PhD Thesis]
Parameter synthesis in Markov models, 2020
[DOI: 10.18154/RWTH-2020-02348] Author(s)
Junges, Sebastian
Source
[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] Author(s)
Tauer, Bj�rn Frederik (Corresponding author)
Fischer, Dennis
Fuchs, Janosch
Vargas Koch, Laura
Zieger, Stephan
Source
[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] Author(s)
Hoelzel, Matthias (Corresponding author)
Wilke, Richard (Corresponding author)
Source
[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] Author(s)
Armstrong, John (Corresponding author)
Zieger, Stephan
Preston, John
Nie�en, Nils
Source
[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] Author(s)
Jacke, Tobias (Corresponding author)
Dickenbrok, Bj�rn
Friesen, Nadine
Liebhold, Alexandra Angelika
Nie�en, Nils
Source
[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] Author(s)
Bu, Lei (Corresponding author)
Ray, Rajarshi (Corresponding author)
Schupp, Stefan (Corresponding author)
Source
[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] Author(s)
Althoff, Matthias (Corresponding author)
Bak, Stanley (Corresponding author)
Forets, Marcelo (Corresponding author)
Frehse, Goran (Corresponding author)
Kochdumper, Niklas
et al.
Source
[Report]
The Carologistics RoboCup Logistics Team 2019, 2019 Author(s)
Hofmann, Till
Limpert, Nicolas
Matar�, Victor
Ferrein, Alexander
Lakemeyer, Gerhard
Source
[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 Author(s)
Sering, Leon
Vargas Koch, Laura
Source
[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] Author(s)
Khan, Shahid (Corresponding author)
Katoen, Joost-Pieter
Volk, Matthias
Bouissou, Marc
Source
[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] Author(s)
Ritzert, Martin (Corresponding author)
Grienenberger, Emilie (Corresponding author)
Source
[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] Author(s)
Češka, Milan
Hensel, Hans Christian
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Source
[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] Author(s)
Češka, Milan
Jansen, Nils
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Source
[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] Author(s)
Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Source
[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] Author(s)
Winkler, Tobias
Junges, Sebastian (Corresponding author)
P�rez, Guillermo A.
Katoen, Joost-Pieter
Source
[Preprint]
Semiring Provenance for Guarded Logics, 2019 Author(s)
Gr�del, Erich (Corresponding author)
Dannert, Katrin M.
Source
[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] Author(s)
Schr�der, Marc (Corresponding author)
Tamir, Tami
Ravindran Vijayalakshmi, Vipin
Source
[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] Author(s)
Dreier, Jan (Corresponding author)
Fuchs, Janosch
Hartmann, Tim A.
Kuinke, Philipp
Rossmanith, Peter (Corresponding author)
et al.
Source
[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 Author(s)
Niem�ller, Tim Dieter (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard
Source
[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] Author(s)
Hofmann, Till (Corresponding author)
Limpert, Nicolas
Matar�, Victor
Ferrein, Alexander
Lakemeyer, Gerhard
Source
[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] Author(s)
Schmidt, Malte
Weik, Norman (Corresponding author)
Zieger, Stephan
Schmeink, Anke
Nie�en, Nils
Source
[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] Author(s)
Gotte, Thorsten (Corresponding author)
Ravindran Vijayalakshmi, Vipin (Corresponding author)
Scheideler, Christian (Corresponding author)
Source
[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] Author(s)
Leofante, Francesco
Schupp, Stefan
�brah�m, Erika
Tacchella, Armando (Corresponding author)
Source
[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] Author(s)
L�ding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)
Source
[Preprint]
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics, 2019 Author(s)
Hoelzel, Matthias (Corresponding author)
Wilke, Richard
Source
[Preprint]
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic, 2019
[DOI: 10.18154/RWTH-2019-09537] Author(s)
Dannert, Katrin M.
Gr�del, Erich (Corresponding author)
Naaf, Matthias Ferdinand
Tannen, Val
Source
[Contribution to a book]
Model Repair Revamped
In: From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, 107-125, 2019
[DOI: 10.1007/978-3-030-31514-6_7] Author(s)
Češka, Milan
Dehnert, Christian
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Source
[Contribution to a book, Contribution to a conference proceedings]
Weisfeiler and Leman Go Neural: Higher-Order Graph Neural Networks
In: The Thirty-Third AAAI Conference on Artificial Intelligence, the Thirty-First Innovative Applications of Artificial Intelligence Conference, the Ninth AAAI Symposium on Educational Advances in Artificial Intelligence : Honolulu, Hawaii USA - January 27-February 1, 2019 / sponsored by the Association for the Advancement of Artificial Intelligence, 4602-4609, 2019
[DOI: 10.1609/aaai.v33i01.33014602] Author(s)
Morris, Christopher (Corresponding author)
Ritzert, Martin (Corresponding author)
Fey, Matthias (Corresponding author)
Hamilton, William L. (Corresponding author)
Lenssen, Jan Eric (Corresponding author)
et al.
Source
[Dissertation / PhD Thesis]
State set representations and their usage in the reachability analysis of hybrid systems, 2019
[DOI: 10.18154/RWTH-2019-08875] Author(s)
Schupp, Stefan
Source
[Journal Article]
Ursache-Wirkung-Zusammenhang: Zusammenhang zwischen Mitteleinsatz und Infrastrukturqualit�t abbilden
In: Eisenbahntechnische Rundschau : ETR, 68 (9), 37-41, 2019 Author(s)
Jacke, Tobias (Corresponding author)
Dickenbrok, Bj�rn
Friesen, Nadine
Grub, Alexandra Angelika
Nie�en, Nils
Source
[Contribution to a book, Contribution to a conference proceedings]
Computing Expected Runtimes for Constant Probability Programs
In: Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : Proceedings / Pascal Fontaine (Ed.), 269-286, 2019
[DOI: 10.1007/978-3-030-29436-6_16] Author(s)
Giesl, J�rgen
Giesl, Peter
Hark, Marcel Tobias (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Formal Verification of Rewriting Rules for Dynamic Fault Trees
In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : Proceedings / Peter Csaba �lveczky, Gwen Sala�n (Eds.), 513-531, 2019
[DOI: 10.1007/978-3-030-30446-1_27] Author(s)
Elderhalli, Yassmeen (Corresponding author)
Volk, Matthias
Hasan, Osman
Katoen, Joost-Pieter
Tahar, Sofi�ne
Source
[Contribution to a book, Contribution to a conference proceedings]
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
In: Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.), 40-58, 2019
[DOI: 10.1007/978-3-030-27008-7_3] Author(s)
Volk, Matthias (Corresponding author)
Weik, Norman
Katoen, Joost-Pieter
Nie�en, Nils
Source
[Contribution to a conference proceedings]
Quantifying the effects of variability on the capacity of rail corridors
In: [8th International Conference on Railway Operations Modelling and Analysis, ICROMA2019, 2019-06-17 - 2019-06-20, Norrk�ping, Schweden], 1741-1760, 2019 Author(s)
Weik, Norman (Corresponding author)
Nie�en, Nils
Source
[Contribution to a conference proceedings]
Extending UIC 406-based Capacity Analysis - New Approaches for Railway Nodes and Network Effects
In: [8th International Conference on Railway Operations Modelling and Analysis, ICROMA2019, 2019-06-17 - 2019-06-20, Norrk�ping, Schweden], 1761-1780, 2019 Author(s)
Weik, Norman (Corresponding author)
Warg, Jennifer
Johansson, Ingrid
Nie�en, Nils
Bohlin, Markus
Source
[Contribution to a book, Contribution to a conference proceedings]
Correct-by-construction policies for POMDPs
In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 6-8, 2019
[DOI: 10.1145/3313149.3313366] Author(s)
Jansen, Nils (Corresponding author)
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Quatmann, Tim (Corresponding author)
Becker, Bernd (Corresponding author)
et al.
Source
[Contribution to a book, Contribution to a conference proceedings]
Probabilistic Databases with an Infinite Open-World Assumption
In: PODS'19 : Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, July 1-3, 2019, Amsterdam, Netherlands / General Chair: Dan Suciu, 17-31, 2019
[DOI: 10.1145/3294052.3319681] Author(s)
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Determinization of B�chi Automata : Unifying the Approaches of Safra and Muller-Schupp
In: 46th International Colloquium on Automata, Languages and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.), 120, 1-13, 2019
[DOI: 10.4230/LIPIcs.ICALP.2019.120] Author(s)
L�ding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)
Source
[Contribution to a book]
Provenance Analysis : A Perspective for Description Logics?
In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday / Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter (eds.), 266-285, 2019
[DOI: 10.1007/978-3-030-22102-7_12] Author(s)
Dannert, Katrin M.
Gr�del, Erich (Corresponding author)
Source
[Journal Article]
The synthesis problem of decentralized energy systems is strongly NP-hard
In: Computers & chemical engineering, 124, 343-349, 2019
[DOI: 10.1016/j.compchemeng.2019.02.002] Author(s)
Goderbauer, Sebastian (Corresponding author)
Comis, Martin
Willamowski, Felix J. L.
Source
[Contribution to a book, Contribution to a conference proceedings]
Performability Analysis of Railway Systems
In: 2018 International Conference on Intelligent Rail Transportation (ICIRT) : 12-14 Dec. 2018 / publisher: IEEE, 2019
[DOI: 10.1109/ICIRT.2018.8641589] Author(s)
Weik, Norman (Corresponding author)
Nie�en, Nils
Source
[Dissertation / PhD Thesis]
Advanced weakest precondition calculi for probabilistic programs, 2019
[DOI: 10.18154/RWTH-2019-01829] Author(s)
Kaminski, Benjamin Lucien
Source
[Journal Article]
Safety analysis for vehicle guidance systems with dynamic fault trees
In: Reliability engineering & system safety, 186, 37-50, 2019
[DOI: 10.1016/j.ress.2019.02.005] Author(s)
Ghadhab, Majdi
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Kuntz, Matthias
Volk, Matthias
Source
[Contribution to a conference proceedings, Journal Article]
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
In: Proceedings of the ACM on programming languages, 3 (POPL), 34, 2019
[DOI: 10.1145/3290347] Author(s)
Batz, Kevin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)
Noll, Thomas (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
In: Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac, 513-534, 2019
[DOI: 10.1007/978-3-030-11245-5_24] Author(s)
Decker, Normann (Corresponding author)
Pirogov, Anton (Corresponding author)
Source
[Journal Article]
On the hardness of analyzing probabilistic programs
In: Acta informatica, 56 (3), 255-285, 2018
[DOI: 10.1007/s00236-018-0321-1] Author(s)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Nash Flows Over Time with Spillback
In: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms / [editor] Timothy M. Chan., 935-945, 2019
[DOI: 10.1137/1.9781611975482.57] Author(s)
Sering, Leon
Vargas Koch, Laura
Source
[Contribution to a book, Contribution to a conference proceedings]
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
In: ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse, 14-22, 2018
[DOI: 10.29007/q5tq] Author(s)
Bu, Lei (Corresponding author)
Ray, Rajarshi (Corresponding author)
Schupp, Stefan (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
In: ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse, 23-52, 2018
[DOI: 10.29007/73mb] Author(s)
Althoff, Matthias (Corresponding author)
Bak, Stanley (Corresponding author)
Chen, Xin (Corresponding author)
Fan, Chuchu (Corresponding author)
Forets, Marcelo (Corresponding author)
et al.
Source
[Contribution to a conference proceedings]
CLIPS-based Execution for PDDL Planners
In: Proceedings of the 2nd Workshop on Integrated Planning, Acting, and Execution (ICAPS IntEx), 9 Seiten, 2018 Author(s)
Niem�ller, Tim Dieter
Hofmann, Till
Lakemeyer, Gerhard
Source
[Report]
The Carologistics RoboCup Logistics Team 2018, 2018 Author(s)
Hofmann, Till
Limpert, Nicolas
Matar�, Victor
Sch�nitz, Sebastian
Niem�ller, Tim Dieter
et al.
Source
[Preprint]
Probabilistic Databases with an Infinite Open-World Assumption, 2018 Author(s)
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Finite-State Controllers of POMDPs using Parameter Synthesis
In: 34th Conference on Uncertainty in Artificial Intelligence 2018 : Monterey, California, USA, 6-10 August 2018 / editors: Amir Globerson, Ricardo Silva ; Association for Uncertainty in Artificial Intelligence (AUAI). - Volume 1, 519-529, 2018 Author(s)
Junges, Sebastian
Jansen, Nils
Wimmer, Ralf
Quatmann, Tim
Winterer, Leonore
et al.
Source
[Contribution to a book, Contribution to a conference proceedings]
Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions
In: The 2018 AAAI Spring Symposium Series technical report : papers presented at the 2018 AAAI Spring Symposium, 549-553, 2018 Author(s)
Hofmann, Till
Matar�, Victor
Schiffer, Stefan
Alexander, Ferrein
Lakemeyer, Gerhard
Source
[Contribution to a conference proceedings]
A Logic for Specifying Metric Temporal Constraints for Golog Programs
In: CogRob 2018, 11th Cognitive Robotics Workshop : proceedings of the 11th Cognitive Robotics Workshop (CogRob-18), held in conjunction with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-2018) : Tempe, Arizona, USA, October 27, 2018, 36-46, 2018 Author(s)
Hofmann, Till
Lakemeyer, Gerhard
Source
[Contribution to a book, Contribution to a conference proceedings]
The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods
In: Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) : Research report 483, August 2018 / Erika �brah�m and Silvia Lizeth Tapia Tarifa (eds.), 2 Seiten, 2018 Author(s)
Schupp, Stefan (Corresponding author)
�brah�m, Erika
Source
[Contribution to a book, Contribution to a conference proceedings]
Privacy-Preserving Trade Chain Detection
In: Data privacy management, cryptocurrencies and blockchain technology : ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018 : proceedings / Joaquin Garcia-Alfaro, Jordi Herrera-Joancomarti, Giovanni Livraga, Ruben Rios (eds.), 373-388, 2018
[DOI: 10.1007/978-3-030-00305-0_26] Author(s)
W�ller, Stefan (Corresponding author)
Breuer, Malte
Meyer, Ulrike
Wetzel, Susanne
Source
[Contribution to a book, Contribution to a conference proceedings]
Equilibria in Routing Games with Edge Priorities
In: Web and internet economics : 14th International Conference, WINE 2018, Oxford, UK, December 15-17, 2018 : proceedings / George Christodoulou, Tobias Harks (eds.), 408-422, 2018
[DOI: 10.1007/978-3-030-04612-5_27] Author(s)
Scheffler, Robert (Corresponding author)
Strehler, Martin
Vargas Koch, Laura
Source
[Contribution to a book, Contribution to a conference proceedings]
Exploring Sparse Graphs with Advice (Extended Abstract)
In: Approximation and Online Algorithms : 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers / edited by Leah Epstein, Thomas Erlebach, 102-117, 2018
[DOI: 10.1007/978-3-030-04693-4_7] Author(s)
Bockenhauer, Hans-Joachim (Corresponding author)
Fuchs, Janosch
Unger, Walter
Source
[Contribution to a book, Contribution to a conference proceedings]
Model Checking for Safe Navigation Among Humans
In: Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.), 207-222, 2018
[DOI: 10.1007/978-3-319-99154-2_13] Author(s)
Junges, Sebastian
Jansen, Nils (Corresponding author)
Katoen, Joost-Pieter
Topcu, Ufuk
Zhang, Ruohan
et al.
Source
[Contribution to a book, Contribution to a conference proceedings]
Evaluation of Equational Constraints for CAD in SMT Solving
In: Satisfiability checking and symbolic computation : SC-Square 2018 : proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, co-located with Federated Logic Conference (FLOC 2018) : Oxford, UK, July 11, 2018 / edited by Anna M. Bigatti (Dipartimento di Matematica, Universit� degli Studi di Genova, Genova, Italy), Martin Brain (Department of Computer Science, University of Oxford, Oxford, UK ), [19]-32, 2018 Author(s)
Haehn, Rebecca
Kremer, Gereon
�brah�m, Erika
Source
[Contribution to a book, Contribution to a conference proceedings]
Rule-Based Conditioning of Probabilistic Data
In: Scalable Uncertainty Management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi, 290-305, 2018
[DOI: 10.1007/978-3-030-00461-3_20] Author(s)
van Keulen, Maurice (Corresponding author)
Kaminski, Benjamin Lucien
Matheja, Christoph
Katoen, Joost-Pieter
Source
[Contribution to a book, Contribution to a conference proceedings]
Synthesis in pMDPs : A Tale of 1001 Parameters
In: Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang, 160-176, 2018
[DOI: 10.1007/978-3-030-01090-4] Author(s)
Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Topcu, Ufuk
Source
[Journal Article]
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
In: Journal of the ACM : JACM, 65 (5), 30:1-30:68, 2018
[DOI: 10.1145/3208102] Author(s)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)
Olmedo, Federico (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs
In: Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / Editors: Khomenko, Victor, Roux, Olivier H. (Eds.), 272-293, 2018
[DOI: 10.1007/978-3-319-91268-4_14] Author(s)
Junges, Sebastian
Katoen, Joost-Pieter
Stoelinga, Marielle
Volk, Matthias (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times
In: Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed, 186-213, 2018
[DOI: 10.1007/978-3-319-89884-1_7] Author(s)
Batz, Kevin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)
Source
[Contribution to a conference proceedings, Journal Article]
A new proof rule for almost-sure termination
In: Proceedings of the ACM on Programming Languages, 2, 33:1-33:28, 2018
[DOI: 10.1145/3158121] Author(s)
McIver, Annabelle (Corresponding author)
Morgan, Carroll (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures
In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung, 3:1-3:16, 2018
[DOI: 10.4230/LIPIcs.CSL.2018.3] Author(s)
Abu Zaid, Faried
Kuske, Dietrich
Lindner, Peter
Source
[Journal Article]
The influence of buffer time distributions in delay propagation modelling of railway networks
In: Journal of Rail Transport Planning & Management, 8 (3/4), 220-232, 2018
[DOI: 10.1016/j.jrtpm.2018.09.001] Author(s)
Zieger, Stephan (Corresponding author)
Weik, Norman
Nie�en, Nils
Source
[Contribution to a book, Contribution to a conference proceedings]
The impact of buffer time distributions on the nominal capacity of railway lines
In: Computers in Railways XVI : Railway Engineering Design and Operation / Edited By: G. Passerini, Marche Polytechnic University, Italy; J. M. Mera, Polytechnic University of Madrid, Spain; N. Tomii, Chiba Institute of Technology, Japan; P. Tzieropoulos, Ecole Polytechnique Federale de Lausanne, Switzerland, 307-318, 2018
[DOI: 10.2495/CR180281] Author(s)
Zieger, Stephan (Corresponding author)
Weik, Norman
Nie�en, Nils
Source
[Contribution to a book, Contribution to a conference proceedings]
Multi-cost Bounded Reachability in MDP
In: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman, 320-339, 2018
[DOI: 10.1007/978-3-319-89963-3_19] Author(s)
Hartmanns, Arnd
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
In: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman, 287-302, 2018
[DOI: 10.1007/978-3-319-89963-3_17] Author(s)
Schupp, Stefan (Corresponding author)
�brah�m, Erika
Source
[Contribution to a book, Contribution to a conference proceedings]
Spread the Work : Multi-threaded Safety Analysis for Hybrid Systems
In: Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Einar Broch Johnsen, Ina Schaefer, 89-104, 2018
[DOI: 10.1007/978-3-319-92970-5_6] Author(s)
Schupp, Stefan
�brah�m, Erika (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Oligopolistic Competitive Packet Routing
In: 18th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems : ATMOS 2018, August 23-24, 2018, Helsinki, Finland / edited by Ralf Bornd�rfer, Sabine Storandt, 13:1-13:22, 2018
[DOI: 10.4230/OASICS.ATMOS.2018.13] Author(s)
Peis, Britta (Corresponding author)
Tauer, Bj�rn Frederik (Corresponding author)
Timmermans, Veerle (Corresponding author)
Vargas Koch, Laura (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Context-Dependent Reachability Analysis for Hybrid Systems
In: 2018 IEEE 19th International Conference on Information Reuse and Integration for Data Science : IRI 2018 : 7-9 July 2018, Salt Lake City, Utah, USA : proceedings / publisher: IEEE, 518-525, 2018
[DOI: 10.1109/IRI.2018.00082] Author(s)
Schupp, Stefan (Corresponding author)
Winkens, Justin (Corresponding author)
�brah�m, Erika (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
On Finitely Ambiguous B�chi Automata
In: Developments in language theory ; 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / Mizuho Hoshi, Shinnosuke Seki (eds.), 503-515, 2018
[DOI: 10.1007/978-3-319-98654-8_41] Author(s)
L�ding, Christof (Corresponding author)
Pirogov, Anton (Corresponding author)
Source
[Journal Article]
Analyse der Umsetzung von Aus- und Neubauvorhaben im Bundesverkehrswegeplan 2003
In: Eisenbahntechnische Rundschau , 67 (7+8), 52-57, 2018 Author(s)
Isenh�fer, Laura
Zieger, Stephan (Corresponding author)
Source
[Contribution to a conference proceedings]
Minimum Color-Degree Perfect b-Matchings
In: [16th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW, 2018-06-18 - 2018-06-20, Paris, France], 13-16, 2018 Author(s)
Anapolska, Mariia
B�sing, Christina Maria Katharina (Corresponding author)
Comis, Martin (Corresponding author)
Source
[Journal Article]
Competitive Packet Routing with Priority Lists
In: ACM Transactions on Economics and Computation, 6 (1), 4, 2018
[DOI: 10.1145/3184137] Author(s)
Harks, Tobias
Peis, Britta
Schmand, Daniel
Tauer, Bj�rn Frederik
Vargas Koch, Laura
Source
[Dissertation / PhD Thesis]
Privacy-preserving electronic bartering, 2018
[DOI: 10.18154/RWTH-2018-222969] Author(s)
W�ller, Stefan
Source
[Contribution to a conference proceedings]
The influence of buffer time distributions on delay propagation in railway networks
In: IRSA 2017 : Tagungsband, Proceedings : 1st International Railway Symposium Aachen, Aachen, Germany, 28-30 November 2017 / 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, 279-295, 2018
[DOI: 10.18154/RWTH-2018-222704] Author(s)
Zieger, Stephan (Corresponding author)
Weik, Norman
Nie�en, Nils
Source
[Contribution to a book, Journal Article]
Multi-budgeted matching problems
In: Networks : an international journal, 72 (1), 25-41, 2018
[DOI: 10.1002/net.21802] Author(s)
B�sing, Christina Maria Katharina
Comis, Martin (Corresponding author)
Source
[Journal Article]
Fast Dynamic Fault Tree Analysis by Model Checking Techniques
In: IEEE transactions on industrial informatics, 14 (1), 370-379, 2017
[DOI: 10.1109/TII.2017.2710316] Author(s)
Volk, Matthias
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Source
[Journal Article]
Conditioning in Probabilistic Programming
In: ACM transactions on programming languages and systems : ACM TOPLAS, 40 (1), 4, 2017
[DOI: 10.1145/3156018] Author(s)
Olmedo, Federico (Corresponding author)
Gretz, Friedrich (Corresponding author)
Jansen, Nils (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
et al.
Source
[Contribution to a book, Contribution to a conference proceedings]
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
In: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools : VALUETOOLS 2017 : 5-7 December 2017, Venice, Italy / general co-chairs: Andrea Marin, University of Venice - Ca', Foscari, Italy, Benny Van Houdt, University of Antwerp, Belgium ; technical programme committe chairs: Giuliano Casale, Imperial College London, United Kingdom, Dorina Petriu, Carleton University, Canada, Sabina Rossi, University of Venice - Ca', Foscari, Italy, 178-185, 2017
[DOI: 10.1145/3150928.3150938] Author(s)
H�ls, Jannik (Corresponding author)
Schupp, Stefan (Corresponding author)
Remke, Anne (Corresponding author)
�brah�m, Erika (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Using Secure Graph Algorithms for the Privacy-Preserving Identification of Optimal Bartering Opportunities
In: [Proceedings of the Workshop on Privacy in the Electronic Society, WPES : 2017-10-30 - 2017-10-30, Dallas, Tex., USA], 123-132, 2017
[DOI: 10.1145/3139550.3139557] Author(s)
W�ller, Stefan (Corresponding author)
Vu, Michael (Corresponding author)
Meyer, Ulrike (Corresponding author)
Wetzel, Susanne (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
A Storm is Coming: A Modern Probabilistic Model Checker
In: Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2, 592-600, 2017
[DOI: 10.1007/978-3-319-63390-9_31] Author(s)
Dehnert, Hans Christian (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias
Source
[Contribution to a book, Contribution to a conference proceedings]
Motion planning under partial observability using game-based abstraction
In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC) : December 12-15, 2017, Melbourne, Australia, 2201-2208, 2017
[DOI: 10.1109/CDC.2017.8263971] Author(s)
Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils
Topcu, Ufuk
et al.
Source
[Contribution to a book, Contribution to a conference proceedings]
Learning MSO-definable hypotheses on strings
In: [International Conference on Algorithmic Learning Theory, ALT 2017, 2017-10-15 - 2017-10-17, Kyoto, Japan], 434-451, 2017 Author(s)
Grohe, Martin (Corresponding author)
L�ding, Christof (Corresponding author)
Ritzert, Martin (Corresponding author)
Source
[Journal Article]
A quasi-birth-and-death process approach for integrated capacity and reliability modeling of railway systems
In: Journal of Rail Transport Planning & Management, 7 (3), 114-126, 2017
[DOI: 10.1016/j.jrtpm.2017.06.001] Author(s)
Weik, Norman (Corresponding author)
Nie�en, Nils
Source
[Journal Article]
Fault trees on a diet: automated reduction by graph rewriting
In: Formal aspects of computing, 29 (4), 651-703, 2017
[DOI: 10.1007/s00165-016-0412-0] Author(s)
Junges, Sebastian (Corresponding author)
Guck, Dennis
Katoen, Joost-Pieter
Rensink, Arend
Stoelinga, Mari�lle
Source
[Journal Article]
Designing privacy-preserving interval operations based on homomorphic encryption and secret sharing techniques
In: Journal of computer security, 25 (1), 59-81, 2017
[DOI: 10.3233/JCS-16830] Author(s)
W�ller, Stefan (Corresponding author)
Mayer, Daniel
F�rg, Fabian
Sch�ppen, Samuel
Assadsolimani, Benjamin
et al.
Source
[Contribution to a book, Contribution to a conference proceedings]
Der Einfluss von Pufferzeitverteilungen im Fahrplan auf die Modellierung der Folgeversp�tungen im Eisenbahnwesen
In: 26. Verkehrswissenschaftliche Tage an der Technischen Universit�t Dresden : Tagungsband : 14 und 15. M�rz 2018 / Fakult�t Verkehrswissenschaften, 731-745 Author(s)
Zieger, Stephan (Corresponding author)
Weik, Norman
Nie�en, Nils

Show all results

Faculties and Institutions

Main page RWTH

Intranet

Lectures and seminars

Regulars Table

Bi-Weekly Meetings

Annual Spring Workshop

UnRAVeL Seminars

Summer Schools and Workshops

Reading Groups

Survey Lecture "What's New in UnRAVeL?"

Publications

Ongoing Dissertation Projects

Completed Doctorates

Completed Bachelor and Master Theses

Profile

People

Ombudsperson

DFG - German Research Foundation

Upcoming Events

Announcements & Highlights

Archive of Events

Gender & Diversity

Guest Researchers

UnRAVeL Notice Board

Faculties and Institutions

Faculties and Institutes

Institutions

Publications

Refine List

Type

Published