h1

121310

⇧ RWTH Aachen ⇧

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Berthon, R. J.RWTH* ; Katoen, J.-P.RWTH* ; Mittelmann, M. ; Murano, A.
Verification of Robust Multi-Agent Systems
2026Proceedings of AAMAS-2026 / IFAAMAS, ACM (in-cooperation) ; general chairs: Viviana Mascardi (University of Genova, Italy), John Thangarajah (RMIT University, Australia) ; program chairs: Chris Amato (Northeastern University, USA), Louise Dennis (University of Manchester, UK)
25. International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2026, PaphosPaphos, Cyprus, 25 May 2026 - 29 May 20262026-05-252026-05-29 International Foundation for Autonomous Agents and Multiagent Systems Richland, SC 3758-3766 (2026) [10.65109/DHRR7601]2026   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Vertovec, N. (Corresponding author) ; Mathiesen, F. B. (Corresponding author) ; Badings, T. (Corresponding author)RWTH* ; Laurenti, L. (Corresponding author) ; Abate, A. (Corresponding author)
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
2026Annual Learning for Dynamics and Control Conference, 17-19 June 2026, Los Angeles, California, USA / Editors: Gaurav Sukhatme, Lars Lindemann, Stephen Tu, Adam Wierman, Nikolay Atanasov
8. Learning for Dynamics and Control Conference, L4DC 2026, Los Angeles, CALos Angeles, CA, USA, 17 Jun 2026 - 19 Jun 20262026-06-172026-06-19 [Erscheinungsort nicht ermittelbar] : MLResearchPress, Proceedings of machine learning research 331, 1638-1662 (2026)2026     Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Haase, D. (Corresponding author)RWTH* ; Batz, K. ; Gallus, A. ; Kaminski, B. L. ; Katoen, J.-P.RWTH* ; Klinkenberg, L.RWTH* ; Winkler, T.RWTH*
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops
2026Programming languages and systems : 35th European Symposium on Programming, ESOP 2026 : held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026 : proceedings, part I / Robbert Krebbers, editor
35. European Symposium on Programming, ESOP 2026, TurinTurin, Italy, 14 Apr 2026 - 16 Apr 20262026-04-142026-04-16
29. International Joint Conferences on Theory and Practice of Software, ETAPS 2026, TurinTurin, Italy, 11 Apr 2026 - 16 Apr 20262026-04-112026-04-16 Cham : Springer, Lecture notes in computer science 16501, Advanced Research in Computing and Software Science 314-343 (2026) [10.1007/978-3-032-22720-1_12]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Geißler, D. (Corresponding author) ; Winkler, T.RWTH*
Probabilistic programming meets automata theory: Exact inference using weighted automata
Theoretical computer science 1087, 116224 (2026) [10.1016/j.tcs.2026.116224]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Češka, M. ; Junges, S. ; van der Maas, L. (Corresponding author) ; Macák, F. ; Quatmann, T.RWTH*
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III / edited by Eva Darulova, Anthony W. Lin, Philipp Rümmer
38. International Conference on Computer Aided Verification, CAV 2026, LisbonLisbon, Portugal, 26 Jul 2026 - 29 Jul 20262026-07-262026-07-29 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16684, 526-549 (2026) [10.1007/978-3-032-32537-2_25]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Schroer, P. (Corresponding author)RWTH* ; Batz, K. ; Dural, U. Y.RWTH* ; Haase, D.RWTH* ; Kaminski, B. L. ; Katoen, J.-P.RWTH* ; Matheja, C.
Caesar: A Deductive Verifier for Probabilistic Programs
2026Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III / edited by Eva Darulova, Anthony W. Lin, Philipp Rümmer
38. International Conference on Computer Aided Verification, CAV 2026, LisbonLisbon, Portugal, 26 Jul 2026 - 29 Jul 20262026-07-262026-07-29 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16684, 565-582 (2026) [10.1007/978-3-032-32537-2_27]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article/Contribution to a conference proceedings Andriushchenko, R. ; Bork, A. N.RWTH* ; Češka, M. (Corresponding author) ; Junges, S. ; Katoen, J.-P.RWTH* ; Macák, F.
Search and explore: symbiotic policy synthesis in POMDPs
202635. International Conference on Computer Aided Verification, CAV 2023, ParisParis, France, 17 Jul 2023 - 22 Jul 20232023-07-172023-07-22 Formal methods in system design 68(1), 4 (2026) [10.1007/s10703-025-00488-z] special issue: "CAV 2023 / Editor-in-Chief Prof. Nir Pitermann, Editor-in-Cief Emeritus Edmund M. Clarke"2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Zilken, D. (Corresponding author) ; Batz, K. ; Katoen, J.-P.RWTH* ; Winkler, T.RWTH*
Verifying Sampling Algorithms via Distributional Invariants
2026Formal Methods : 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I / edited by Augusto Sampaio, Marielle Stoelinga
27. International Symposium on Formal Methods, FM 2026, TokyoTokyo, Japan, 18 May 2026 - 22 May 20262026-05-182026-05-22 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16556, 259-278 (2026) [10.1007/978-3-032-26204-2_14]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Hartmanns, A. ; Quatmann, T.RWTH* ; van Wijk, M. (Corresponding author)
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking
2026Formal Methods : 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I / edited by Augusto Sampaio, Marielle Stoelinga
27. International Symposium on Formal Methods, FM 2026, TokyoTokyo, Japan, 18 May 2026 - 22 May 20262026-05-182026-05-22 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16556, 189-210 (2026) [10.1007/978-3-032-26204-2_10]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Master Thesis Deutsch, J. ; Katoen, J.-P. (Thesis advisor)RWTH* ; Unruh, D. (Thesis advisor)RWTH* ; Gehnen, C. (Consultant)RWTH*
Bounds for quantum weakest preconditions
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-06831]2026 = Masterarbeit, RWTH Aachen University, 2025     Files BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS |