Reactive Synthesis of Sensor Revealing Strategies in Hypergames on Graphs

Sumukha Udupa, Ahmed Hemida, Charles A. Kamhoua +1

In many security applications of cyber-physical systems, a system designer must guarantee that critical missions are satisfied against attacks in the sensors and actuators of the C…