TY  - RPRT
TI  - Solvability, Operability, and Security for Cyber-Physical Systems: New Computational Methods with Revised Assumptions
AU  - Bakker, Craig KR
AU  - Bhattacharya, Arnab
AU  - Chatterjee, Samrat
AU  - Oster, Matthew R.
AU  - Perkins, Casey J.
AU  - Pan, Feng
PY  - 2021
UR  - https://www.osti.gov/biblio/1777137
ID  - 1777137
ER  -