Gaëtan Staquet

13 papers A 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Visibly Recursive Automata.
CoRR
Kévin Dubrulle, Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
2025 — conf
Active Learning of Mealy Machines with Timers.
QEST+FORMATS
Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2025 J jnl
Antichains for Concurrent Parameterized Games.
CoRR
Nathalie Bertrand, Patricia Bouyer, Gaëtan Staquet
2024 J jnl
Active Learning of Mealy Machines with Timers.
CoRR
Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
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
2023 — conf
Automata with Timers.
FORMATS
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2023 J jnl
Automata with Timers.
CoRR
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2023 — conf
Validating Streaming JSON Documents with Learned VPAs.
TACAS (1)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
2022 — conf
Learning Realtime One-Counter Automata.
TACAS (1)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
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
2022 J jnl
Validating Streaming JSON Documents with Learned VPAs.
CoRR
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
2021 J jnl
Learning Realtime One-Counter Automata.
CoRR
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
2020 A conf
Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting.
CIKM
Aziz Amezian El Khalfioui, Jonathan Joertz, Dorian Labeeuw, Gaëtan Staquet, Jef Wijsen