| 2021 |
|---|
| DOI | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Scalable Reliability Analysis by Lazy Verification,
NASA formal methods : 13th international symposium, NFM 2021, virtual event, May 24–28, 2021 : proceedings / Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez (eds.), 180-197, Springer, 2021. |
| DOI | Joshua Moerman, Matteo Sammartino. Residuality and Learning for Nondeterministic Nominal Automata,
27 Seiten, 2021. |
| DOI | Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman. Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata,
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, [1]-13, Association for Computing Machinery, 2021. |
| Alexander Nikolai Bork. Underapproximations for indefinite-horizon POMDPS,
2021. |
| DOI | Christina Gehnen. Automata-based model checking of recursive systems,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2021. |
| 2020 |
|---|
| DOI | Tim Felix Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. IC3 software model checking,
135-161, Springer, 2020. |
| DOI | Christoph Matheja. Automated reasoning and randomization in separation logic,
1 Online-Ressource (x, 504 Seiten) : Illustrationen, Diagramme, 2020. |
| DOI | Sebastian Junges. Parameter synthesis in Markov models,
1 Online-Ressource (xv, 371 Seiten) : Illustrationen, 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. |