45 citations · 205 across the 65 of their papers we have counts for
Showing 2018 · cs.ROShow all
2 papers · 2 filters
cs.RO2018
Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance
Vincent Kurtz, Hai Lin
Next generation Unmanned Aerial Vehicles (UAVs) must reliably avoid moving obstacles. Existing dynamic collision avoidance methods are effective where obstacle trajectories are lin…
cs.RO2018★ 1 cited
Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications
Rafael Rodrigues da Silva, Hai Lin
Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through contro…