227 citations
- KU LeuvenBE24 papers
- University of AntwerpBE23 papers
- Ghent UniversityBE19 papers
- Hasselt UniversityBE9 papers
- University of ReadingGB7 papers
- Technical University of MunichDE5 papers
- Vrije Universiteit BrusselBE5 papers
- Eindhoven University of TechnologyNL4 papers
- University of MonsBE3 papers
- Core Laboratories (United States)US2 papers
- Corvinus University of BudapestHU2 papers
- Ghent University HospitalBE2 papers
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2023★ 1 cited
Automata with Timers
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet +1
In this work, we study properties of deterministic finite-state automata with timers, a subclass of timed automata proposed by Vaandrager et al. as a candidate for an efficiently l…
cs.FL2022★ 4 cited
Validating Streaming JSON Documents with Learned VPAs
Véronique Bruyère, Guillermo A. Perez, Gaëtan Staquet
We present a new streaming algorithm to validate JSON documents against a set of constraints given as a JSON schema. Among the possible values a JSON document can hold, objects are…
cs.FL2021★ 4 cited
Learning Realtime One-Counter Automata
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
We present a new learning algorithm for realtime one-counter automata. Our algorithm uses membership and equivalence queries as in Angluin's L* algorithm, as well as counter value…