TY  - RPRT
TI  - Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
AU  - Shankara Narayanan Krishna
AU  - Ashutosh Trivedi
PY  - 2015
UR  - https://arxiv.org/abs/1503.04928
ID  - 1503.04928
ER  -