Bruno Lacerda, Pedro U. Lima. Designing Petri Net Supervisors from LTL Specifications. In Hugh F. Durrant-Whyte, Nicholas Roy, Pieter Abbeel, editors, Robotics: Science and Systems VII, University of Southern California, Los Angeles, CA, USA, June 27-30, 2011. 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.