[dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems

This package contains the raw data as well as scripts used to carry out the evaluation of the framework RUNE (RUNtime Equilibrium verification). This package is paired with the following paper submitted for publication to the 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2021): Title: Runtime Equilibrium Verification for Resilient Cyber-physical Systems Authors:<br> - Matteo Camilli, Free University of Bozen-Bolzano, Italy<br> - Raffaela Mirandola, Politecnico di Milano, Italy<br> - Patrizia Scandurra, University of Bergamo, Italy