Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra. Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. In Esam El-Araby, Vana Kalogeraki, Danilo Pianini, Frédéric Lassabe, Barry Porter, Sona Ghahremani, Ingrid Nunes, Mohamed Bakhouya, Sven Tomforde, editors, IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021, Washington, DC, USA, September 27 - Oct. 1, 2021. pages 71-80, IEEE, 2021. [doi]
Abstract is missing.