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}, }