Gaëtan Staquet

According to our database, Gaëtan Staquet authored at least 8 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Visibly Recursive Automata.

Kévin Dubrulle, Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet

Proceedings of the Developments in Language Theory - 30th International Conference, 2026

2025

Antichains for Concurrent Parameterized Games.

Nathalie Bertrand, Patricia Bouyer, Gaëtan Staquet

CoRR, May, 2025

Active Learning of Mealy Machines with Timers.

Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

2024

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., October, 2024

2023

Validating Streaming JSON Documents with Learned VPAs.

Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Automata with Timers.

Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

2022

Learning Realtime One-Counter Automata.

Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2020

Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting.

Aziz Amezian El Khalfioui, Jonathan Joertz, Dorian Labeeuw, Gaëtan Staquet, Jef Wijsen

Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020