On the transparency of automata as discrete-event control specifications.

Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow

Browse the full ICRA paper archive.