| 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 | Francesco Leofante.
Optimal planning modulo theories,
96 pages, 2020. |
| Thomas Vogt.
Learning RFSA in Reverse,
2020. |
| DOIFull Text | Dan-Tuong Le.
Quantitative Analysis of Counterexample Generation for Automata Learning,
2020. |
| DOI | Christopher Jan-Steffen Brix, Thomas Noll.
Debona,
12 pages, 2020. |
| DOI | Christel Baier, Hans Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein.
Parametric Markov chains,
pages 104504, Elsevier, 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 | 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. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner.
Generative Datalog with Continuous Distributions,
pages 347-360, ACM, 2020. |
| DOIFull Text | Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann.
Multi-cost Bounded Tradeoff Analysis in MDP,
pages 1483-1522, 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 | 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 | Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal.
Various Ways to Quantify BDMPs,
Volume 316 of EPTCS, pages 1-14, NICTA, 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. |
| Alexander Hoppen.
Design and implementation of an interactive exploration tool for probabilistic programs,
124 pages, 2020. |
| Christopher Brix.
Proving Non-Existence of Imperceptible Adversarial Examples in Deep Neural Networks Using Symbolic Propagation With Error Bounds,
2020. |
| DOIFull Text | Linus Heck.
Gradient descent on parametric Markov Chains,
31 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. |
| DOI | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler.
Generating Functions for Probabilistic Programs,
2020. |
| DOIFull Text | Mohamed Khalifa.
Implementation of a Predicate-Guided Termination Analysis for Pointer Programs,
2020. |
| Adrian Gallus.
RPrIC3,
2020. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
Relatively Complete Verification of Probabilistic Programs,
49 pages, 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. |
| Bram Kohlen.
Parameter synthesis in probabilistic timed automata,
91 pages, 2020. |