Designing Petri Net Supervisors from LTL Specifications
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) |