TY  - RPRT
TI  - State Identification for Labeled Transition Systems with Inputs and Outputs
AU  - Petra van den Bos
AU  - Frits Vaandrager
PY  - 2019
UR  - https://arxiv.org/abs/1907.11034
ID  - 1907.11034
ER  -