- One-Clock Synthesis Problems Sławomir Lasota Mathieu Lehaut Julie Parreaux Radosław Pirkowski Mon 02 March 2026
- An Introduction to the Theory of Linear Integer Arithmetic (Invited Paper) Dmitry Chistikov Tue 03 June 2025
- The Parameterized Complexity of Learning Monadic Second-Order Logic Steffen van Bergerem Martin Grohe Nina Runde Fri 14 February 2025
- On the Expansion of Monadic Second-Order Logic with Cantor-Bendixson Rank and Order Type Predicates Thomas Colcombet Alexander Rabinovich Fri 14 February 2025
- Reachability for Multi-Priced Timed Automata with Positive and Negative Rates Andrew Scoones Mahsa Shirmohammadi James Worrell Thu 13 February 2025
- Energy Games over Totally Ordered Groups Alexander Kozachinskiy Fri 27 September 2024
Library Size: 13G (6 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
