Submitted by Jie Fu on Fri, 05/10/2024 - 10:51

CAREER:Formal Synthesis of Provably Correct Cyber-Physical Defense with Asymmetric Information


Contributors:

Sponsors:
National Science Foundation

Core Areas: