When applied to autonomous vehicle settings, action recognition can help...
Trajectory planning and control have historically been separated into tw...
While supervised detection and classification frameworks in autonomous
d...
We present a variety of translation options for converting Alloy to SMT-...