@misc{indiciaeaf1808854c34,
  title = {Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures},
  author = {Vivek Nigam and Carolyn Talcott},
  year = {2023},
  url = {https://arxiv.org/abs/2304.11564},
  note = {Source identifier: 2304.11564}
}