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

Vivek Nigam, Carolyn L. Talcott

Browse the full TASE paper archive.