Real-Time Formal Verification of Autonomous Systems With An FPGA.
Minh BuiMichael LuReza HojabrMo ChenArrvindh ShriramanPublished in: CoRR (2020)
Keyphrases
- autonomous systems
- formal verification
- real time
- model checking
- dynamic environments
- low cost
- model checker
- bounded model checking
- uncertain environments
- fpga hardware
- symbolic model checking
- automated verification
- autonomous navigation
- fpga device
- hardware implementation
- situation awareness
- field programmable gate array
- control algorithm
- temporal logic
- vision system