4 citations · 11 across the 3 of their papers we have counts for
3 papers
The Temporal Logic Synthesis Format TLSF v1.2
Swen Jacobs, Guillermo A. Perez, Philipp Schlehuber-Caissier
We present an extension of the Temporal Logic Synthesis Format (TLSF). TLSF builds on standard LTL, but additionally supports high-level constructs, such as sets and functions, as…
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…
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…