"State Identification for Labeled Transition Systems with Inputs and Outputs."

Petra van den Bos, Frits W. Vaandrager (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics