Gaëtan Staquet

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

Collaborative distances:

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

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

Active Learning of Mealy Machines with Timers.

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

CoRR, 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