@misc{indiciae434c2f33ceda,
  title = {Real-Time Formal Verification of Autonomous Systems With An FPGA},
  author = {Minh Bui and Michael Lu and Reza Hojabr and Mo Chen and Arrvindh Shriraman},
  year = {2020},
  url = {https://arxiv.org/abs/2012.04011},
  note = {Source identifier: 2012.04011}
}