2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
cs.RO2019
Recognizing and Tracking High-Level, Human-Meaningful Navigation Features of Occupancy Grid Maps
Payam Nikdel, Richard Vaughan
This paper describes a system whereby a robot detects and track human-meaningful navigational cues as it navigates in an indoor environment. It is intended as the sensor front-end…