Meinten Sie:
person:("during, michael")
Method and system for mission planning via formal verification and supervisory controller synthesis
Threat Identification and Defense Control Selection for Embedded Systems
METHOD AND SYSTEM FOR MISSION PLANNING VIA FORMAL VERIFICATION AND SUPERVISORY CONTROLLER SYNTHESIS