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]
@inproceedings{LacerdaL11-1,
title = {Designing Petri Net Supervisors from LTL Specifications},
author = {Bruno Lacerda and Pedro U. Lima},
year = {2011},
url = {http://www.roboticsproceedings.org/rss07/p24.html},
researchr = {https://researchr.org/publication/LacerdaL11-1},
cites = {0},
citedby = {0},
booktitle = {Robotics: Science and Systems VII, University of Southern California, Los Angeles, CA, USA, June 27-30, 2011},
editor = {Hugh F. Durrant-Whyte and Nicholas Roy and Pieter Abbeel},
}