3 papers
cs.FL2026
An Based Algorithm for Active Learning of Minimal Separating Automata
Jasper Laumen, Leonne Snel, Frits Vaandrager
A DFA separates two disjoint languages and if it accepts every word in and rejects every word in . Algorithms for active learning of small separating DFAs ha…
cs.FL2025
Active Learning of Mealy Machines with Timers
Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez +2
We present the first algorithm for query learning Mealy machines with timers in a black-box context. Our algorithm is an extension of the L# algorithm of Vaandrager et al. to a tim…
cs.FL2025
Compositional Abstraction for Timed Systems with Broadcast Synchronization
Hanyue Chen, Miaomiao Zhang, Frits Vaandrager
Simulation-based compositional abstraction effectively mitigates state space explosion in model checking, particularly for timed systems. However, existing approaches do not suppor…