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