- Erratum to: Model-checking continuous-time Markov chains by Aziz et al David N. Jansen Tue 10 March 2026
- Nominal techniques as an Agda library Murdoch J. Gabbay Orestis Melkonian Sat 07 March 2026
- Complete First-Order Game Logic Noah Abou El Wafa André Platzer Fri 11 April 2025
- The Size-Change Principle for Mixed Inductive and Coinductive types Pierre Hyvernat Sat 05 April 2025
- Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof Manfred Borzechowski Malvin Gattinger Helle Hvid Hansen Revantha Ramanayake Valentina Trucco Dalmas Yde Venema Sat 05 April 2025
- Learning Deterministic One-Counter Automata in Polynomial Time Prince Mathew Vincent Penelle A.~V. Sreejith Sun 09 March 2025
- Safe Composition of Systems of Communicating Finite State Machines Franco Barbanera Rolf Hennicker Mon 06 January 2025
- Learning real-time one-counter automata using polynomially many queries Prince Mathew Vincent Penelle A.~V. Sreejith Mon 25 November 2024
- Axiomatization of Compact Initial Value Problems: Open Properties André Platzer Long Qian Fri 18 October 2024
- Uniform Substitution for Differential Refinement Logic Enguerrand Prebet André Platzer Tue 30 April 2024
- The General and Finite Satisfiability Problems for PCTL are Undecidable Miroslav Chodil Antonín Kučera Sat 20 April 2024
- Satisfiability of Context-free String Constraints with Subword-ordering and Transducers C Aiswarya Soumodev Mal Prakash Saivasan Fri 19 January 2024
- Intensional Kleene and Rice Theorems for Abstract Program Semantics Paolo Baldan Francesco Ranzato Linpeng Zhang Mon 06 November 2023
- On Learning Polynomial Recursive Programs Alex Buna-Marginean Vincent Cheval Mahsa Shirmohammadi James Worrell Thu 26 October 2023
- Dynamic Logics of Dynamical Systems André Platzer Fri 01 September 2023
- Real Equation Systems with Alternating Fixed-points (full version with proofs) Jan Friso Groote Tim A. C. Willemse Fri 28 July 2023
- A first-order logic characterization of safety and co-safety languages Alessandro Cimatti Luca Geatti Nicola Gigante Angelo Montanari Stefano Tonetta Fri 14 July 2023
- Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach Fabian Zaiser Andrzej S. Murawski Luke Ong Mon 29 May 2023
- Markov Chains and Unambiguous Automata Christel Baier Stefan Kiefer Joachim Klein David Muller James Worrell Mon 17 April 2023
- Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures Stephane Demri Karin Quaas Mon 20 February 2023
- Neural Networks in Imandra: Matrix Representation as a Verification Choice Remi Desmartin Grant Passmore Ekaterina Komendantskaya Thu 21 July 2022
- An Overview of the HFL Model Checking Project Naoki Kobayashi Tue 14 September 2021
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Fri 22 January 2021
- Deductive Stability Proofs for Ordinary Differential Equations Yong Kiam Tan André Platzer Fri 30 October 2020
- Reachability is Tower Complete Yuxi Fu Qizhe Yang Fri 16 October 2020
- Forward Analysis for WSTS, Part III: Karp-Miller Trees Michael Blondin Alain Finkel Jean Goubault-Larrecq Thu 07 November 2019
- The height of piecewise-testable languages and the complexity of the logic of subwords Prateek Karandikar Philippe Schnoebelen Wed 08 May 2019
- Model Checking Markov Chains Against Unambiguous Buchi Automata M. Benedikt R. Lenhardt J. Worrell Fri 15 June 2018
Library Size: 13G (28 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
