Compositional learning for interleaving parallel automata
From MaRDI portal
Publication:6091209
DOI10.1007/978-3-031-30829-1_20MaRDI QIDQ6091209
Jan Friso Groote, Hossein Hojjat, Mohammadreza Mousavi, Faezeh Labbaf
Publication date: 24 November 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Cites Work
- Learning register automata: from languages to program structures
- Learning regular sets from queries and counterexamples
- Unique decomposition of processes
- A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday
- Time to learn -- learning timed automata from tests
- Fundamentals of software engineering. 8th international conference, FSEN 2019, Tehran, Iran, May 1--3, 2019. Revised selected papers
- Efficient active automata learning via mutation testing
- Inference of finite automata using homing sequences
- Learning One-Clock Timed Automata
- Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
- Grey-Box Learning of Register Automata
This page was built for publication: Compositional learning for interleaving parallel automata
