Title: Designing Petri Net Supervisors from LTL Specifications
Kind : Conference Papers
Published In: Proc. of the 2011 Robotics: Science and Systems Conference, Los Angeles, CA, USA
Year : 2011
Authors : Bruno Lacerda
Pedro Manuel Urbano de Almeida Lima
Lab : Intelligent Robots and Systems Group (IRSg)