Designing Petri Net Supervisors from LTL Specifications

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]

Abstract

Abstract is missing.