3 citations · 3 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.GT2024
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…
cs.FL2024
Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations
Sumukha Udupa, Jie Fu
Qualitative opacity of a secret is a security property, which means that a system trajectory satisfying the secret is observation-equivalent to a trajectory violating the secret. I…