-
Source
Author(s)
-
Kassing, Jan-Christoph (Corresponding author)
Giesl, Jürgen (Corresponding author)
-
Müller, Tobias
Emunds, Tamme Paul
Kliem, Maximilian
Pfeifer, Andreas
Nießen, Nils
et al.
-
Winkler, Tobias (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
-
[Contribution to a book, Contribution to a conference proceedings]
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration In: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina, 391-409, 2023
[DOI:
10.1007/978-3-031-30820-8_24]
Winkler, Tobias (Corresponding author)
Katoen, Joost-Pieter
-
Nalbach, Jasper Kurt Ferdinand
Promies, Valentin Maxim
Ábrahám, Erika
Kobialka, Paul
-
Friesen, Nadine
Sander, Tim
Büsing, Christina Maria Katharina
Nachtigall, Karl
Nießen, Nils
-
[Contribution to a conference proceedings]
Abstracting Noisy Robot Programs In: [2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS'23, London, UK], 2023
Hofmann, Till
Belle, Vaishak
-
Esparza, Javier
Grande, Vincent Peter
-
Papillon, Mathilde (Corresponding author)
Hajij, Mustafa
Frantzen, Florian
Hoppe, Josef
Jenne, Helen
et al.
-
[Contribution to a book, Contribution to a conference proceedings]
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems In: 50th International Colloquium on Automata, Languages, and Programming : ICALP 2023, July 10-14, 2023, Paderborn, Germany / edited by Kousha Etessami, Uriel Feige, Gabriele Puppis, 126:1-126:17, 2023
[DOI:
10.4230/LIPIcs.ICALP.2023.126]
Esparza, Javier
Grande, Vincent Peter
-
[Contribution to a book, Contribution to a conference proceedings]
Topological Point Cloud Clustering In: Proceedings of the 40th International Conference on Machine Learning, 11683-11697, 2023
Grande, Vincent Peter
Schaub, Michael Thomas
-
[Contribution to a book, Contribution to a conference proceedings]
Introducing Asynchronicity to Probabilistic Hyperproperties In: Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings / edited by Nils Jansen, Mirco Tribastone, 47-64, 2023
[DOI:
10.1007/978-3-031-43835-6_4]
Gerlach, Lina (Corresponding author)
Dobe, Oyendrila
Ábrahám, Erika
Bartocci, Ezio
Bonakdarpour, Borzoo
-
Roddenberry, T. Mitchell
Grande, Vincent Peter
Frantzen, Florian
Schaub, Michael Thomas
Segarra, Santiago
-
[Contribution to a book, Contribution to a conference proceedings]
Search and Explore: Symbiotic Policy Synthesis in POMDPs In: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III / edited by Constantin Enea, Akash Lal, 113-135, 2023
[DOI:
10.1007/978-3-031-37709-9_6]
Andriushchenko, Roman
Bork, Alexander
Češka, Milan (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
et al.
-
Seppelt, Tim Frederik
-
[Contribution to a book, Contribution to a conference proceedings]
Exploiting Strict Constraints in the Cylindrical Algebraic Covering In: SMT 2023 : Satisfiability Modulo Theories 2023 : Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) : co-located with the 29th International Conference on Automated Deduction (CADE 2023) : Rome, Italy, July, 5-6, 2023 / Edited by Stéphane Graham-Lengrand ; Mathias Preiner, 13 Seiten, 2023
Bär, Philipp (Corresponding author)
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Ábrahám, Erika (Corresponding author)
Brown, Christopher (Corresponding author)
-
Grüne, Christoph Manfred (Corresponding author)
Zieger, Stephan (Corresponding author)
-
Roberson, David E. (Corresponding author)
Seppelt, Tim Frederik (Corresponding author)
-
[Contribution to a book, Contribution to a conference proceedings]
Subtropical Satisfiability for SMT Solving In: NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri, 430-446, 2023
[DOI:
10.1007/978-3-031-33170-1_26]
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Ábrahám, Erika
-
Viehmann, Tarik (Corresponding author)
Limpert, Nicolas
Hofmann, Till
Henning, Mike
Ferrein, Alexander
et al.
-
Sukhija, Bhavya (Corresponding author)
Turchetta, Matteo
Lindner, David
Krause, Andreas
Trimpe, Johann Sebastian
et al.
-
Klinger, Andreas Gabriel (Corresponding author)
Battermann, Felix
Meyer, Ulrike
-
Klinger, Andreas Gabriel (Corresponding author)
Meyer, Ulrike
-
[Contribution to a book, Contribution to a conference proceedings]
Automated Exercise Generation for Satisfiability Checking In: Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings / Catherine Dubois, Pierluigi San Pietro, editors, 1-16, 2023
[DOI:
10.1007/978-3-031-27534-0_1]
Ábrahám, Erika
Nalbach, Jasper Kurt Ferdinand (Corresponding author)
Promies, Valentin Maxim
-
[Contribution to a conference proceedings]
WL meet VC In: [International Conference on Machine Learning, ICML 2023], 2023
christopher, morris
Grohe, Martin
Tönshoff, Jan Martin
geerts, floris
-
Grohe, Martin (Corresponding author)
Lindner, Peter (Corresponding author)
Standke, Christoph (Corresponding author)
-
Kremer, Gereon
Nalbach, Jasper Kurt Ferdinand
-
Chatterjee, Krishnendu
Katoen, Joost-Pieter
Mohr, Stefanie
Weininger, Maximilian
Winkler, Tobias (Corresponding author)
-
Grohe, Martin (Corresponding author)
Neuen, Daniel
-
Rattan, Gaurav
Seppelt, Tim Frederik
-
Klinkenberg, Lutz
Winkler, Tobias
Chen, Mingshuai
Katoen, Joost-Pieter
-
Hofmann, Till (Corresponding author)
Schupp, Stefan
-
Volk, Matthias
-
Stamm, Felix Ihno (Corresponding author)
Scholkemper, Michael (Corresponding author)
Strohmaier, Markus (Corresponding author)
Schaub, Michael Thomas (Corresponding author)
-
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter (Corresponding author)
-
Ahrens, Emma (Corresponding author)
Bozga, Marius (Corresponding author)
Iosif, Radu (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
-
[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 / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez, 713-732, 2022
[DOI:
10.1007/978-3-031-06773-0_38]
Basgöze, Daniel
Volk, Matthias (Corresponding author)
Katoen, Joost-Pieter
Khan, Shahid
Stoelinga, Marielle
-
Das, Avinandan
Kanesh, Lawqueen
Madathil, Jayakrishnan (Corresponding author)
Muluk, Komal
Purohit, Nidhi
et al.
-
Büsing, Christina Maria Katharina (Editor)
Koster, Arie Marinus (Editor)
-
[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 / edited by Ivana Ljubić, Francisco Barahona, Santanu S. Dey, A. Ridha Mahjoub, 245-259, 2022
[DOI:
10.1007/978-3-031-18530-4_18]
Brandt, Tabea Claudia
Büsing, Christina Maria Katharina
Knust, Sigrid (Corresponding author)
-
Emunds, Tamme Paul (Corresponding author)
Wink, Christopher
Lempp, Martin
Monem, Karim
Dickenbrok, Björn
et al.
-
[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]
Burjons, Elisabet (Corresponding author)
Fuchs, Janosch (Corresponding author)
Lotze, Henri (Corresponding author)
-
Liu, Daxin
-
Brüggemann, Andreas (Corresponding author)
Breuer, Malte (Corresponding author)
Klinger, Andreas Gabriel (Corresponding author)
Schneider, Thomas (Corresponding author)
Meyer, Ulrike (Corresponding author)
-
Müller, Tobias (Corresponding author)
Zieger, Stephan
Pfeifer, Andreas
Hilbrich, Erwin
Schaer, Thorsten
-
Haehn, Rebecca
-
Sander, Tim (Corresponding author)
Friesen, Nadine
Nachtigall, Karl
Nießen, Nils
-
Benz, Alexandra (Corresponding author)
Friesen, Nadine
Pfeifer, Andreas
-
[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]
Spel, Jip Josephine (Corresponding author)
Stein, Svenja Maria
Katoen, Joost-Pieter
-
Fuchs, Janosch