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) |