Model Learning.

The article discusses the use of model learning as a method for black-box state machine models. Topics include the use of model checking in relation to model learning, the use of membership query (MQ) and equivalence query (EQ) techniques for the learning of automata, and an algorithm developed by r...

Full description

Bibliographic Details
Published in:Communications of the ACM Vol. 60; no. 2; pp. 86 - 96
Main Author: VAANDRAGER, FRITS
Format: Article
Published: Association for Computing Machinery Feb2017
Subjects:
Online Access:View this record in EBSCOhost