| 2020 |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
Relatively Complete Verification of Probabilistic Programs,
49 pages, 2020. |
| DOI | Joshua Moerman, Matteo Sammartino.
Residual Nominal Automata,
Volume 171 of Leibniz international proceedings in informatics, pages 44:1-44:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2020. |
| Adrian Gallus.
RPrIC3,
2020. |
| DOI | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu.
Scenario-Based Verification of Uncertain MDPs,
Volume 12078, Theoretical Computer Science and General Issues of LNCS, pages 287-305, Springer, 2020. |
| DOIFull Text | Joshua Moerman, Jurriaan Rot.
Separation and Renaming in Nominal Sets,
Volume 152 of Leibniz international proceedings in informatics, pages 31:1-31:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, January, 2020. |
| DOIFull Text | Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour.
Simple Strategies in Multi-Objective MDPs,
Volume 12078, Theoretical Computer Science and General Issues of LNCS, pages 346-364, Springer, 2020. |
| DOIFull Text | Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler.
Stochastic Games with Lexicographic Reachability-Safety Objectives,
Volume 12225 of LNCS, pages 398-420, Springer, 2020. |
| DOI | Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker.
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions,
pages 1040-1054, Institute of Electrical and Electronics Engineers, 2020. |
| Christopher Jan-Steffen Brix, Parnia Bahar, Hermann Ney.
Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture,
pages 3909-3915, 2020. |
| DOIFull Text | Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll.
Synthesizing and optimizing FDIR recovery strategies from fault trees,
pages 102478, Elsevier Science, 2020. |
| DOIFull Text | Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan.
Unbounded-Time Safety Verification of Stochastic Differential Dynamics,
Volume 12225 of LNCS, pages 327-348, Springer, 2020. |
| Full Text | Joost-Pieter Katoen, Martin Ritzert, Richard Marlon Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, Helene-Maria Bolke-Hermanns.
UnRAVeL Research Training Group,
85 pages, 2020. |
| DOIFull Text | Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal.
Various Ways to Quantify BDMPs,
Volume 316 of EPTCS, pages 1-14, NICTA, 2020. |
| DOI | Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal.
Various Ways to Quantify BDMPs,
2020. |
| DOI | Alexander Nikolai Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann.
Verification of Indefinite-Horizon POMDPs,
Volume 12302 of LNCS, pages 288-304, Springer, 2020. |
| Full Text | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
Verifying Probabilistic Programs,
Volume 12289 of LNCS, pages 298-298, Springer, 2020. |
| DOI | Marcin Szymczak, Joost-Pieter Katoen.
Weakest Preexpectation Semantics for Bayesian Inference,
Volume 12154 of LNCS, pages 44-121, Springer, 2020. |
| 2019 |
| DOIFull Text | .
44th International Symposium on Mathematical Foundations of Computer Science: MFCS 2019, August 26-30, 2019, Aachen, Germany,
Volume 138 of Leibniz international proceedings in informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2019. |
| DOI | Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen.
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas,
Volume 11687 of LNCS, pages 40-58, Springer, 2019. |
| DOIFull Text | Benjamin Lucien Kaminski.
Advanced weakest precondition calculi for probabilistic programs,
363 pages, 2019. |
| DOI | Jip Josephine Spel, Sebastian Junges, Joost-Pieter Katoen.
Are Parametric Markov Chains Monotonic?,
Volume 11781 of LNCS, pages 479-496, Springer, 2019. |
| DOIFull Text | Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta.
COMPASS 3.0,
Volume 11427 of LNCS, pages 379-385, Springer, 2019. |
| DOI | Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer.
Correct-by-construction policies for POMDPs,
ACM Digital Library, pages 6-8, ACM Press, 2019. |
| DOI | Milan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen.
Counterexample-Driven Synthesis for Probabilistic Program Sketches,
Volume 11800 of LNCS, pages 101-120, Springer, 2019. |
| DOI | Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen.
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems,
pages 104431, Elsevier, 2019. |