| 2021 |
| DOIFull Text | Tim Quatmann, Joost-Pieter Katoen.
Multi-objective Optimization of Long-run Average and Total Rewards,
Volume 12651 of LNCS, pages 230-249, Springer, 2021. |
| DOI | Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang.
On Correctness, Precision, and Performance in Quantitative Verification,
Volume 12479 of LNCS, pages 216-241, Springer, 2021. |
| DOIFull Text | Mikołaj Bojańczyk, Bartek Klin, Joshua Moerman.
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata,
16 pages, 2021. |
| DOI | Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman.
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata,
ACM Conferences, pages 1-13, Association for Computing Machinery, 2021. |
| DOIFull Text | Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Šimon Stupinský.
PAYNT,
Volume 12759, Theoretical Computer Science and General Issues of LNCS, pages 856-869, Springer, 2021. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner.
Probabilistic Data with Continuous Distributions,
pages 69-76, Association for Computing Machinery, 2021. |
| DOIFull Text | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
Relatively complete verification of probabilistic programs,
pages 39, ACM, 2021. |
| DOIFull Text | Joshua Moerman, Matteo Sammartino.
Residuality and Learning for Nondeterministic Nominal Automata,
27 pages, 2021. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou.
Scalable Reliability Analysis by Lazy Verification,
Volume 12673, Programming and software engineering of LNCS, pages 180-197, Springer, 2021. |
| DOIFull Text | Tobias Winkler, Maximilian Weininger.
Stochastic Games with Disjunctions of Multiple Objectives,
Volume 346 of EPTCS, pages 85-100, NICTA, 2021. |
| DOI | Shahid Khan, Joost-Pieter Katoen.
Synergising Reliability Modelling Languages,
pages 113-122, IEEE, 2021. |
| DOIFull Text | Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen.
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming,
Volume 12759, Theoretical Computer Science and General Issues of LNCS, pages 443-466, Springer, 2021. |
| DOIFull Text | Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki.
Synthesizing optimal bias in randomized self-stabilization,
pages 37-57, Springer, 2021. |
| DOI | Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler.
The complexity of reachability in parametric Markov decision processes,
pages 183-210, Elsevier, 2021. |
| DOIFull Text | Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk.
The probabilistic model checker STORM,
pages 589-610, Springer, 2021. |
| DOI | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács.
The Probabilistic Termination Tool Amber,
Volume 13047 of LNCS, pages 667-675, Springer, 2021. |
| DOI | Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Josephine Spel.
Tweaking the Odds in Probabilistic Timed Automata,
Volume 12846 of LNCS, pages 39-58, Springer, 2021. |
| Alexander Nikolai Bork.
Underapproximations for indefinite-horizon POMDPS,
2021. |
| Patrick Arens.
Weakest-preexpectation proof rules for disjoint concurrent probabilistic programs,
2021. |
| 2020 |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou.
A Compositional Semantics for Repairable BDMPs,
Volume 12234 of LNCS, pages 82-98, Springer, 2020. |
| Lars Beckers.
A petri net semantics for boolean-logic driven markov processes,
55 pages, 2020. |
| DOI | Marcel Tobias Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen.
Aiming low is harder,
pages 1-28, ACM, 2020. |
| DOI | Pranav Ashok, Krishnendu Chatterjee, Jan Křetínský, Maximilian Weininger, Tobias Winkler.
Approximating Values of Generalized-Reachability Stochastic Games,
ACM conferences, pages 102-115, Association for Computing Machinery, 2020. |
| DOIFull Text | Christoph Matheja.
Automated reasoning and randomization in separation logic,
504 pages, 2020. |
| DOIFull Text | Bahare Salmani Barzoki, Joost-Pieter Katoen.
Bayesian Inference by Symbolic Model Checking,
Volume 12289 of LNCS, pages 115-133, Springer, 2020. |