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', 'André 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}
}