TY  - RPRT
TI  - Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems
AU  - Smitha Gautham
AU  - Abhilash Rajagopala
AU  - Athira Varma Jayakumar
AU  - Christopher Deloglos
AU  - Erwin Karincic
AU  - Carl Elks
PY  - 2020
UR  - https://arxiv.org/abs/2009.09533
ID  - 2009.09533
ER  -