Conference Papers

Designing Petri Net Supervisors from LTL Specifications

Proc. of the 2011 Robotics: Science and Systems Conference, Los Angeles, CA, USA