Gaëtan Staquet

Publications

Publications

Authors are ordered alphabetically by their last name.

Conferences

[BPSW23] Automata with Timers
2023

Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, and Frits W. Vaandrager. Formal Modeling and Analysis of Timed Systems. FORMATS. DOI: 10.1007/978-3-031-42626-1_3. arXiv: 10.48550/arXiv.2305.07451. Won a Best Paper Award at the conference..

[BPS23] Validating Streaming JSON Documents with Learned VPAs
2023

Véronique Bruyère, Guillermo A. Pérez, and Gaëtan Staquet. 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS. DOI: 10.1007/978-3-031-30823-9_14. arXiv: 10.48550/arXiv.2211.08891.

[BPS22] Learning Realtime One-Counter Automata
2022

Véronique Bruyère, Guillermo A. Pérez, and Gaëtan Staquet. 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS. DOI: 10.1007/978-3-030-99524-9_13. arXiv: 10.48550/arXiv.2110.09434.

[KJLSW20] Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting
2020

Aziz Amezian El Khalfioui, Jonathan Joertz, Dorian Labeeuw, Gaëtan Staquet, and Jef Wijsen. 29th ACM International Conference on Information and Knowledge Management. CIKM. DOI: 10.1145/3340531.3411911.

Preprints

[BGP+24] Active Learning of Mealy Machines with Timers
2024

Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, and Frits W. Vaandrager. arXiv: 10.48550/arXiv.2403.02019.