TY  - RPRT
TI  - Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems
AU  - Mustafa Abdallah
AU  - Sayan Mitra
AU  - Shreyas Sundaram
AU  - Saurabh Bagchi
PY  - 2020
UR  - https://arxiv.org/abs/2012.00788
ID  - 2012.00788
ER  -