- 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
- A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages Frits Vaandrager Abhisek Midya 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 Local-Time Semantics for Negotiations Madhavan Mukund Adwitee Roy B Srivathsan Sat 15 July 2023
- 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
- Reachability for Updatable Timed Automata made faster and more effective Paul Gastin Sayan Mukherjee B Srivathsan Wed 07 October 2020
- Certifying Emptiness of Timed Buchi Automata Simon Wimmer Frédéric Herbreteau Jaco van de Pol Thu 09 July 2020
- Revisiting local time semantics for networks of timed automata R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz Tue 09 July 2019
Library Size: 13G (10 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
