On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems.

Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott

Browse the full ICTAC paper archive.