- Parameterized Verification of Timed Networks with Clock Invariants Étienne André Swen Jacobs Shyam Lal Karra Ocan Sankur Wed 14 August 2024
- Reachability and Safety Games under TSO Semantics (Extended Version) Stephan Spengler Mon 01 July 2024
- Uniform Substitution for Differential Refinement Logic Enguerrand Prebet André Platzer Tue 30 April 2024
- Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos Mon 06 November 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
- Markov Chains and Unambiguous Automata Christel Baier Stefan Kiefer Joachim Klein David Muller James Worrell Mon 17 April 2023
- Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs Richard Mayr Eric Munday Sat 29 October 2022
- Zone-based verification of timed automata: extrapolations, simulations and what next Patricia Bouyer Paul Gastin Frédéric Herbreteau Ocan Sankur B. Srivathsan Thu 21 July 2022
- Scalar and Vectorial mu-calculus with Atoms Bartek Klin Mateusz Łełyk Wed 17 March 2021
- Reachability for Updatable Timed Automata made faster and more effective Paul Gastin Sayan Mukherjee B Srivathsan Wed 07 October 2020
- Quantitative Reductions and Vertex-Ranked Infinite Games (Full Version) Alexander Weinert Sun 29 March 2020
- Families of DFAs as Acceptors of ømega-Regular Languages Dana Angluin Udi Boker Dana Fisman Fri 09 August 2019
- Buchi Complementation and Size-Change Termination Seth Fogarty Moshe Y. Vardi Fri 08 March 2019
- Efficient reduction of nondeterministic automata with application to language inclusion testing Lorenzo Clemente Richard Mayr Thu 07 March 2019
- Efficient reduction of nondeterministic automata with application to language inclusion testing L. Clemente R. Mayr Tue 20 November 2018
Library Size: 13G (17 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
