Structured proofs for adversarial cyber-physical systems

@ARTICLE{DBLP:journals/tecs/BohrerP21,
	pdf = {https://dl.acm.org/doi/pdf/10.1145/3477024},

  author    = {Brandon Bohrer and
               Andr{\'{e}} Platzer},
  title     = {Structured Proofs for Adversarial Cyber-Physical Systems},
  journal   = {{ACM} Trans. Embed. Comput. Syst.},
  volume    = {20},
  number    = {5s},
  pages     = {93:1-93:26},
  year      = {2021},
  doi       = {10.1145/3477024},
  note      = {Special issue on EMSOFT 2021}
}```