Learning and Model-Checking Networks of I/O Automata

Hua Mao, Manfred Jaeger. Learning and Model-Checking Networks of I/O Automata. Journal of Machine Learning Research, 25:285-300, 2012. [doi]

@article{MaoJ12,
  title = {Learning and Model-Checking Networks of I/O Automata},
  author = {Hua Mao and Manfred Jaeger},
  year = {2012},
  url = {http://jmlr.csail.mit.edu/proceedings/papers/v25/mao12.html},
  researchr = {https://researchr.org/publication/MaoJ12},
  cites = {0},
  citedby = {0},
  journal = {Journal of Machine Learning Research},
  volume = {25},
  pages = {285-300},
}