David Sears, Karen Rudie. On computing indistinguishable states of nondeterministic finite automata with partially observable transitions. In 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014. pages 6731-6736, IEEE, 2014. [doi]
@inproceedings{SearsR14,
title = {On computing indistinguishable states of nondeterministic finite automata with partially observable transitions},
author = {David Sears and Karen Rudie},
year = {2014},
doi = {10.1109/CDC.2014.7040446},
url = {http://dx.doi.org/10.1109/CDC.2014.7040446},
researchr = {https://researchr.org/publication/SearsR14},
cites = {0},
citedby = {0},
pages = {6731-6736},
booktitle = {53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014},
publisher = {IEEE},
isbn = {978-1-4799-7746-8},
}