Compositional learning for interleaving parallel automata
From MaRDI portal
Publication:6091209
DOI10.1007/978-3-031-30829-1_20MaRDI QIDQ6091209FDOQ6091209
Authors: Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammadreza Mousavi 
Publication date: 24 November 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Recommendations
- Compositional automata learning of synchronous systems
- Learning to complement Büchi automata
- Learning-based compositional parameter synthesis for event-recording automata
- Learning deterministic finite automata from interleaved strings
- Parallel learning of automatic classes of languages
- Parallel learning of automatic classes of languages
Cites Work
- Learning regular sets from queries and counterexamples
- Inference of finite automata using homing sequences
- Learning register automata: from languages to program structures
- Unique decomposition of processes
- Grey-Box Learning of Register Automata
- Efficient active automata learning via mutation testing
- Time to learn -- learning timed automata from tests
- Learning one-clock timed automata
- A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday
- Benchmarking combinations of learning and testing algorithms for active automata learning
- Fundamentals of software engineering. 8th international conference, FSEN 2019, Tehran, Iran, May 1--3, 2019. Revised selected papers
Cited In (2)
This page was built for publication: Compositional learning for interleaving parallel automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6091209)
