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

This package contains the raw data and scripts used to carry out the evaluation of the framework RUNE² (RUNtime Equilibrium verification and Enforcement).

This package is paired with the following paper submitted for publication to the ACM Transactions on Autonomous and Adaptive Systems (TAAS). Invited contribution to the IEEE ACSOS 2021 Special Issue.

Title: Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime

Authors:
- Matteo Camilli, Free University of Bozen-Bolzano, Italy
- Raffaela Mirandola, Politecnico di Milano, Italy
- Patrizia Scandurra, University of Bergamo, Italy

See README.md for further instructions.