Conference Papers

Designing Petri Net Supervisors for Multi-Agent Systems from LTL Specifications (Extended Abstract)

Bruno Lacerda | Pedro Lima
Impact:
NULL

Intelligent Robots and Systems Group (IRSg)

Intelligent Robots and Systems Group (IRSg) Logo