2 citations · 3 across the 3 of their papers we have counts for
3 papers
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…
Sim-to-Real Domain Adaptation for Lane Detection and Classification in Autonomous Driving
Chuqing Hu, Sinclair Hudson, Martin Ethier +3
While supervised detection and classification frameworks in autonomous driving require large labelled datasets to converge, Unsupervised Domain Adaptation (UDA) approaches, facilit…
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB
Ali Abbassi, Nancy A. Day, Derek Rayside
We present a variety of translation options for converting Alloy to SMT-LIB via Alloy's Kodkod interface. Our translations, which are implemented in a library that we call Astra, a…