Structured Proofs for Adversarial Cyber-Physical Systems.

Brandon Bohrer André Platzer

Published in: CoRR (2021)

Keyphrases

cyber physical systems
cyber physical
cyber security
physical world
real world
embedded systems
artificial intelligence
intrusion detection
critical infrastructure
real time
computer networks