Login / Signup

Structured Proofs for Adversarial Cyber-Physical Systems.

Brandon BohrerAndré Platzer
Published in: ACM Trans. Embed. Comput. Syst. (2021)
Keyphrases
  • cyber physical systems
  • cyber physical
  • physical world
  • cyber security
  • real time
  • real world
  • low cost
  • embedded systems
  • smart grid
  • artificial intelligence
  • social networks
  • critical infrastructure