Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures.

Vivek Nigam Carolyn L. Talcott

Published in: CoRR (2023)

Keyphrases

technical report
cyber physical systems
cyber physical
cyber security
physical world
critical infrastructure
embedded systems
artificial intelligence
social networks
decision making
data acquisition