Technical Reports

Petri Net based Supervision Techniques for the Design of Mission Control Systems for Autonomous Vehicles