Imagen de Portada
Código QR

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...

Descripción completa

Publicado en:Communications of the ACM Vol. 60; no. 2; pp. 86 - 96
Autor principal: VAANDRAGER, FRITS
Formato: Artículo
Publicado: Association for Computing Machinery Feb2017
Materias:
Machine learning
Querying (Computer science)
Algorithms
Angluin, Dana
Computer simulation
Acceso en línea:Ver este registro en EBSCOhost
Sumario: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 researcher Dana Angluin.