On the transparency of automata as discrete-event control specifications

Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow. On the transparency of automata as discrete-event control specifications. In IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010. pages 1474-1479, IEEE, 2010. [doi]

Abstract

Abstract is missing.