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...
| Published in: | Communications of the ACM Vol. 60; no. 2; pp. 86 - 96 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Association for Computing Machinery
Feb2017
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |