Publications

Results�214

Refine List

Source
[Contribution to a book, Contribution to a conference proceedings]
Weisfeiler-Leman and Graph Spectra
In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA23) / editors: Nikhil Bansal and Viswanath Nagarajan, 2023
[DOI: 10.1137/1.9781611977554.ch87] Author(s)
Rattan, Gaurav
Seppelt, Tim Frederik
Source
[Contribution to a book, Journal Article]
Controlling timed automata against MTL specifications with TACoS
In: Science of computer programming, 225, 102898, 2022
[DOI: 10.1016/j.scico.2022.102898] Author(s)
Hofmann, Till (Corresponding author)
Schupp, Stefan
Source
[Contribution to a book]
Parameter Synthesis in Markov Models: A Gentle Survey
In: Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday / Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar (eds.), 407-437, 2022
[DOI: 10.1007/978-3-031-22337-2_20] Author(s)
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter (Corresponding author)
Source
[Contribution to a conference proceedings, Journal Article]
Reasoning about distributed reconfigurable systems
In: Proceedings of the ACM on programming languages, 6 (OOPSLA2), 145-174, 2022
[DOI: 10.1145/3563293] Author(s)
Ahrens, Emma
Bozga, Marius
Iosif, Radu
Katoen, Joost-Pieter
Source
[Contribution to a book, Contribution to a conference proceedings]
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
In: NASA formal methods : 14th international symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, proceedings / Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez (eds.), 713-732, 2022
[DOI: 10.1007/978-3-031-06773-0_38] Author(s)
Basg�ze, Daniel
Volk, Matthias (Corresponding author)
Katoen, Joost-Pieter
Khan, Shahid
Stoelinga, Marielle
Source
[Book, Proceedings]
Network Optimization INOC 2022 : 10th International Network Optimization Conference, Aachen, Germany, June 7-10, 2022 : Proceedings, 2022 Author(s)
B�sing, Christina Maria Katharina (Editor)
Koster, Arie Marinus (Editor)
Source
[Contribution to a book, Contribution to a conference proceedings]
One Transfer per Patient Suffices: Structural Insights About Patient-to-Room Assignment
In: Combinatorial optimization : 7th International Symposium, ISCO 2022, virtual event, May 18-20, 2022, revised selected papers / Ivana Ljubic, Francisco Barahona, Santanu S. Dey, A. Ridha Mahjoub (eds.), 245-259, 2022
[DOI: 10.1007/978-3-031-18530-4_18] Author(s)
Brandt, Tabea
B�sing, Christina Maria Katharina
Knust, Sigrid (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
The Slotted Online One-Sided Crossing Minimization Problem on 2-Regular Graphs
In: Combinatorial algorithms : 33rd international workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022, proceedings / Cristina Bazgan, Henning Fernau (eds.), 243-256, 2022
[DOI: 10.1007/978-3-031-06678-8_18] Author(s)
Burjons, Elisabet (Corresponding author)
Fuchs, Janosch (Corresponding author)
Lotze, Henri (Corresponding author)
Source
[Dissertation / PhD Thesis]
Projection in a probabilistic epistemic logic and its application to belief-based program verification, 2022
[DOI: 10.18154/RWTH-2022-10632] Author(s)
Liu, Daxin
Source
[Contribution to a book, Contribution to a conference proceedings]
Secure Maximum Weight Matching Approximation on General Graphs
In: Proceedings of the 21st Workshop on Privacy in the Electronic Society, 83-87, 2022
[DOI: 10.1145/3559613.3563209] Author(s)
Br�ggemann, Andreas (Corresponding author)
Breuer, Malte (Corresponding author)
Klinger, Andreas Gabriel (Corresponding author)
Schneider, Thomas (Corresponding author)
Meyer, Ulrike (Corresponding author)
Source
[Journal Article]
Weiterentwicklung der Streckenstandards zur Gestaltung der betrieblichen Infrastruktur
In: Deine Bahn, 50 (10), 46-51, 2022 Author(s)
M�ller, Tobias (Corresponding author)
Zieger, Stephan
Pfeifer, Andreas
Hilbrich, Erwin
Schaer, Thorsten
Source
[Dissertation / PhD Thesis]
Optimisation and analysis of railway timetables under consideration of uncertainties, 2022
[DOI: 10.18154/RWTH-2022-10063] Author(s)
Haehn, Rebecca
Source
[Journal Article]
Robustes fahrplanbasiertes Netzwerkdesign
In: Eisenbahntechnische Rundschau, 71 (10), 16-20, 2022 Author(s)
Sander, Tim (Corresponding author)
Friesen, Nadine
Nachtigall, Karl
Nie�en, Nils
Source
[Journal Article]
Ma�nahmen zur Klimaanpassung an Schienenverkehrsstrecken
In: Eisenbahntechnische Rundschau, 71 (10), 53-57, 2022 Author(s)
Benz, Alexandra (Corresponding author)
Friesen, Nadine
Pfeifer, Andreas
Source
[Contribution to a book, Contribution to a conference proceedings]
POMDP Controllers with Optimal Budget
In: Quantitative evaluation of systems : 19th international conference, QEST 2022 Warsaw, Poland, September 12-16, 2022, proceedings / Erika �brah�m, Marco Paolieri (eds.), 107-130, 2022
[DOI: 10.1007/978-3-031-16336-4_6] Author(s)
Spel, Jip Josephine (Corresponding author)
Stein, Svenja Maria
Katoen, Joost-Pieter
Source
[Dissertation / PhD Thesis]
Graph exploration with advice and online crossing minimization, 2022
[DOI: 10.18154/RWTH-2022-08761] Author(s)
Fuchs, Janosch
Source
[Contribution to a book, Contribution to a conference proceedings]
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
In: Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, proceedings / Jasmin Blanchette, Laura Kov�cs, Dirk Pattinson (eds.), 734-754, 2022
[DOI: 10.1007/978-3-031-10769-6_43] Author(s)
Lommen, Nils (Corresponding author)
Meyer, Fabian Niklas
Giesl, J�rgen (Corresponding author)
Source
[Contribution to a book, Contribution to a conference proceedings]
Improving Automatic Complexity Analysis of Integer Programs
In: The logic of software : a tasting menu of formal methods : essays dedicated to Reiner H�hnle on the occasion of his 60th birthday / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.), 193-228, 2022
[DOI: 10.1007/978-3-031-08166-8_10] Author(s)
Giesl, J�rgen (Corresponding author)
Lommen, Nils
Hark, Marcel Tobias
Meyer, Fabian Niklas
Source
[Contribution to a book, Contribution to a conference proceedings]
Coworking Scheduling with Network Flows
In: Network Optimization INOC 2022 : 10th International Network Optimization Conference, Aachen, Germany, June 7-10, 2022 : Proceedings / Editors: Christina B�sing, Arie M.C.A. Koster, 11-16, 2022
[DOI: 10.48786/INOC.2022.03] Author(s)
Anapolska, Mariia (Corresponding author)
B�sing, Christina Maria Katharina (Corresponding author)
Brandt, Tabea Claudia (Corresponding author)
M�mke, Tobias (Corresponding author)
Source
[Conference Presentation]
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
In: 3. 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: Abstract Book : EURO 2022, 3-6 July, 261-261, 2022 Author(s)
Friesen, Nadine (Corresponding author)
Sander, Tim (Corresponding author)
Nie�en, Nils (Corresponding author)
Nachtigall, Karl (Corresponding author)
Source
[Preprint]
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
In: 3. 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]
Acceleration Techniques for Symbolic Simulation of Railway Timetables
In: Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022, proceedings / Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte (eds.), 46-62, 2022
[DOI: 10.1007/978-3-031-05814-1_4] Author(s)
Haehn, Rebecca (Corresponding author)
�brah�m, Erika
Kotowski, Niklas
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) / Herausgeber: Mikołaj Bojańczyk, Emanuela Merelli, David P. Woodruff, [70:1]-70:20, 2022
[DOI: 10.4230/LIPICS.ICALP.2022.70] Author(s)
Grohe, Martin
Rattan, Gaurav
Seppelt, Tim Frederik
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: Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel, 79-101, 2022
[DOI: 10.1007/978-3-031-13185-1_5] Author(s)
Chen, Mingshuai (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Klinkenberg, Lutz (Corresponding author)
Winkler, Tobias (Corresponding author)
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/0011018700003191] 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 Marlon
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 Marlon (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: 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, 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
[Journal Article]
Markov automata with multiple objectives
In: Formal methods in system design, 60 (1), 33-86, 2021
[DOI: 10.1007/s10703-021-00364-6] Author(s)
Quatmann, Tim
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
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 [u.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: 2021 IEEE Intelligent Vehicles Symposium (IV), 11-17 July 2021, 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 Marlon (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
[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 / editors: Ana Paula Rocha ; Luc Steels and Jaap van den Herik. - . Volume 1: Online, 04-06.02.2021, 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: 17. 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)
Haase, Darion (Corresponding author)
Wilke, Richard Marlon (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 Marlon (Corresponding author)
Source
[Preprint]
Logics with Multiteam Semantics, 2020
[DOI: 10.18154/RWTH-2020-12350] Author(s)
Gr�del, Erich (Corresponding author)
Wilke, Richard Marlon (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 Marlon
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: 20. 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 Marlon (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 Marlon
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, Hans 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 / Einar Broch Johnsen, Ina Schaefer (eds.), 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 "Biggest Milestones - Research at Its Peak"

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