Title: Supervision of Discrete Event Systems Based on Temporal Logic Specifications
Kind : PhD Theses
Published In: Ph.D. Thesis, Instituto Superior Tecnico, Universidade Tecnica de Lisboa, September
Year : 2013
Authors : Bruno Lacerda
Lab : Intelligent Robots and Systems Group (IRSg)
File : Open File