Learning Mealy machines with one timer
From MaRDI portal
Publication:6186313
DOI10.1016/J.IC.2023.105013MaRDI QIDQ6186313
Roderick Bloem, Masoud Ebrahimi, Frits W. Vaandrager
Publication date: 2 February 2024
Published in: Information and Computation (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Learning of event-recording automata
- Learning regular sets from queries and counterexamples
- A theory of timed automata
- Active learning of timed automata with unobservable resets
- Combining black-box and white-box techniques for learning register automata
- Time to learn -- learning timed automata from tests
- Learning Mealy machines with one timer
This page was built for publication: Learning Mealy machines with one timer
