TY  - RPRT
TI  - Real-Time Formal Verification of Autonomous Systems With An FPGA
AU  - Minh Bui
AU  - Michael Lu
AU  - Reza Hojabr
AU  - Mo Chen
AU  - Arrvindh Shriraman
PY  - 2020
UR  - https://arxiv.org/abs/2012.04011
ID  - 2012.04011
ER  -