@conference {283,
	title = {Provable Adversarial Safety in Cyber-Physical Systems},
	booktitle = {Proceedings of the 8th IEEE European Symposium on Security and Privacy (EuroS\&P)},
	year = {2023},
	month = {July},
	pages = {979-1012},
	author = {J.H. Castellanos and M. Maghenem and A. Cardenas and R.G. Sanfelice and J. Zhou}
}
