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...
| Publicado en: | Communications of the ACM Vol. 60; no. 2; pp. 86 - 96 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Feb2017
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=121046525&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 121046525 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Feb2017 vid: 60 iid: 2 pid: 68 pub: Association for Computing Machinery artinfo: ui: 121046525 10.1145/2967606 ppf: 86 ppct: 10 formats: tig: atl: Model Learning. aug: au: VAANDRAGER, FRITS affil: Department of Software Science, Institute for Computing and Information Sciences at Radboud University, Nijmegen, The Netherlands. su: Machine learning Querying (Computer science) Algorithms Angluin, Dana Computer simulation sug: subj: Machine learning Querying (Computer science) Algorithms Angluin, Dana Computer simulation ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2017 holdings: @attributes: islocal: N |
|---|