Foundations of active automata learning: an algorithmic perspective
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Alternative Title(s)
Abstract
Description
Table of contents
Keywords
Active automata learning, Regular inference, Visibly pushdown automata, TTT, Model construction, Black box, Space optimal