63 citations · 74 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
eess.SY2020★ 2 cited
Real-Time Formal Verification of Autonomous Systems With An FPGA
Minh Bui, Michael Lu, Reza Hojabr +2
Hamilton-Jacobi reachability analysis is a powerful technique used to verify the safety of autonomous systems. This method is very good at handling non-linear system dynamics with…
cs.RO2020
LBGP: Learning Based Goal Planning for Autonomous Following in Front
Payam Nikdel, Richard Vaughan, Mo Chen
This paper investigates a hybrid solution which combines deep reinforcement learning (RL) and classical trajectory planning for the following in front application. Here, an autonom…