TY  - RPRT
TI  - Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
AU  - Vivek Nigam
AU  - Carolyn Talcott
PY  - 2023
UR  - https://arxiv.org/abs/2304.11564
ID  - 2304.11564
ER  -