most citedAstra Version 1.0: Evaluating Translations from Alloy to SMT-LIB

2 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2022★ 1 cited

Real-Time Unified Trajectory Planning and Optimal Control for Urban Autonomous Driving Under Static and Dynamic Obstacle Constraints

Rowan Dempster, Mohammad Al-Sharman, Derek Rayside +1

Trajectory planning and control have historically been separated into two modules in automated driving stacks. Trajectory planning focuses on higher-level tasks like avoiding obsta…