| 2020 |
|---|
| DOI | Marcel Tobias Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen. Aiming low is harder: induction for lower bounds in probabilistic program verification, 1-28, ACM, 2020. |
| DOI | Joshua Moerman, Jurriaan Rot. Separation and Renaming in Nominal Sets, 28th EACSL annual conference on computer science logic : CSL 2020, january 13-16, 2020, barcelona, spain / edited by maribel fernández, anca muscholl, 31:1-31:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, January, 2020. |
| DOI | Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang. Learning One-Clock Timed Automata, Tools and algorithms for the construction and analysis of systems : 26th international conference, TACAS 2020, held as part of the european joint conferences on theory and practice of software, ETAPS 2020, dublin, ireland, april 25–30, 2020, proceedings, part I / edited by armin biere, david parker, 444-462, Springer International Publishing, 2020. |
| DOI | Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schroer. PrIC3: Property Directed Reachability for MDPs, 2020. |
| DOI | Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour. Simple Strategies in Multi-Objective MDPs, Tools and algorithms for the construction and analysis of systems : 26th international conference, TACAS 2020, held as part of the european joint conferences on theory and practice of software, ETAPS 2020, dublin, ireland, april 25–30, 2020, proceedings, part I / edited by armin biere, david parker, 346-364, Springer International Publishing, 2020. |
| DOI | Francesco Leofante. Optimal planning modulo theories, 1 Online-Ressource (96 Seiten) : Illustrationen, Diagramme, 2020. |
| Thomas Vogt. Learning RFSA in Reverse, 2020. |
| DOI | Dan-Tuong Le. Quantitative Analysis of Counterexample Generation for Automata Learning, 2020. |
| DOI | Christopher Jan-Steffen Brix, Thomas Noll. Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs, 12 Seiten, 2020. |
| DOI | Christel Baier, Hans Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein. Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination, 104504, Elsevier, 2020. |
| DOI | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Scenario-Based Verification of Uncertain MDPs, Tools and algorithms for the construction and analysis of systems : 26th international conference, TACAS 2020, held as part of the european joint conferences on theory and practice of software, ETAPS 2020, dublin, ireland, april 25–30, 2020, proceedings, part I / edited by armin biere, david parker, 287-305, Springer International Publishing, 2020. |
| DOI | Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan. Unbounded-Time Safety Verification of Stochastic Differential Dynamics, Computer aided verification : 32nd international conference, CAV 2020, los angeles, CA, USA, july 21-24, 2020 : Proceedings, part II / shuvendu K. Lahiri, chao wang (eds), 327-348, Springer, 2020. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Generative Datalog with Continuous Distributions, PODS'20 : Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI symposium on principles of database systems, june 14 -19, 2020, portland, or USA / general chair: Dan suciu (university of washington, USA); program chair: Yufei tao; proceedings chair: Zhewei wei, 347-360, ACM, 2020. |
| DOI | Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-cost Bounded Tradeoff Analysis in MDP, 1483-1522, Springer Science + Business Media B.V., 2020. |
| DOI | Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler. Stochastic Games with Lexicographic Reachability-Safety Objectives, Computer aided verification : 32nd international conference, CAV 2020, los angeles, CA, USA, july 21-24, 2020 : Proceedings, part II / shuvendu K. Lahiri, chao wang (eds), 398-420, Springer, 2020. |
| DOI | Pranav Ashok, Krishnendu Chatterjee, Jan Křetínský, Maximilian Weininger, Tobias Winkler. Approximating Values of Generalized-Reachability Stochastic Games, Proceedings of the 35th annual ACM/IEEE symposium on logic in computer science (LICS 2020) : July 8-11, 2020, saarbrücken, germany / sponsored by ACM special interest group on logic and computation (SIGLOG), IEEE technical committee on mathematical foundations of computing, association for symbolic logic, european association for theoretical computer science (EATCS) ; conference chairs: Holger hermanns, lijun zhang, naoki kobayashi, 102-115, Association for Computing Machinery, 2020. |
| DOI | Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal. Various Ways to Quantify BDMPs, [The 4th workshop on models for formal analysis of real systems, MARS 2020, dublin, ireland], 1-14, NICTA, 2020. |
| Christopher Jan-Steffen Brix, Parnia Bahar, Hermann Ney. Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture, 58th annual meeting of the association for computational linguistics, 3909-3915, 2020. |
| DOI | Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll. Synthesizing and optimizing FDIR recovery strategies from fault trees, 102478, Elsevier Science, 2020. |
| Alexander Hoppen. Design and implementation of an interactive exploration tool for probabilistic programs, 124 Seiten, 2020. |
| Christopher Brix. Proving Non-Existence of Imperceptible Adversarial Examples in Deep Neural Networks Using Symbolic Propagation With Error Bounds, 2020. |
| DOI | Linus Heck. Gradient descent on parametric Markov Chains, 31 Seiten, 2020. |
| DOI | Joshua Moerman, Matteo Sammartino. Residual Nominal Automata, 31st international conference on concurrency theory : CONCUR 2020, september 1-4, 2020, vienna, austria (virtual conference) / edited by igor konnov, laura kovács, 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. |
| DOI | Mohamed Khalifa. Implementation of a Predicate-Guided Termination Analysis for Pointer Programs, 2020. |