- One-Clock Synthesis Problems Sławomir Lasota Mathieu Lehaut Julie Parreaux Radosław Pirkowski Mon 02 March 2026
- Register Automata with Permutations Mrudula Balachander Emmanuel Filiot Raffaella Gentilini Nikos Tzevelekos Sun 24 August 2025
- Automatic Synthesis of Systems with Data Léo Exibard Fri 26 May 2023
- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages Bartek Klin Sławomir Lasota Szymon Toruńczyk Tue 06 April 2021
- A succinct canonical register automaton model Sofia Cassel Falk Howar Bengt Jonsson Maik Merten Bernhard Steffen Fri 16 October 2020
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic Szymon Toruundefinedczyk Thomas Zeume Sat 04 July 2020
- History-Register automata Nikos Tzevelekos Radu Grigore Thu 21 March 2013
- LTL with the freeze quantifier and register automata Stéphane Demri Ranko Lazic Tue 04 December 2012
Library Size: 13G (8 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
