Abstract
A prominent learning algorithm is Angluin's L* algorithm, which allows to learn a minimal deterministic automaton using so-called membership and equivalence queries addressed to a teacher. In many applications, however, a teacher might be unable to answer some of the membership queries because parts of the object to learn are not completely specified, not observable, it is too expensive to resolve these queries, etc. Then, these queries may be answered inconclusively. In this paper, we survey different algorithms to learn minimal deterministic automata in this setting in a coherent fashion. Moreover, we provide modifications and improvements for these algorithms, which are enabled by recent developments.
| Originalsprache | Englisch |
|---|---|
| Titel | Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change |
| Redakteure/-innen | Tiziana Margaria, Bernhard Steffen |
| Seitenumfang | 15 |
| Band | 7609 LNCS |
| Erscheinungsort | Berlin |
| Herausgeber (Verlag) | Springer Verlag |
| Erscheinungsdatum | 07.11.2012 |
| Auflage | PART 1 |
| Seiten | 524-538 |
| ISBN (Print) | 978-3-642-34025-3 |
| ISBN (elektronisch) | 978-3-642-34026-0 |
| DOIs | |
| Publikationsstatus | Veröffentlicht - 07.11.2012 |
| Veranstaltung | 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - Heraklion, Crete, Griechenland Dauer: 15.10.2012 → 18.10.2012 Konferenznummer: 93454 |
UN SDGs
Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung
