research
∙
07/28/2021
The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior
Autonomous vehicles must balance a complex set of objectives. There is n...
share
research
∙
07/15/2021
Rule-based Evaluation and Optimal Control for Autonomous Driving
We develop optimal control strategies for autonomous vehicles (AVs) that...
research
∙
04/06/2021
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications
We propose a framework for solving control synthesis problems for multi-...
research
∙
01/14/2021
Rule-based Optimal Control for Autonomous Driving
We develop optimal control strategies for Autonomous Vehicles (AVs) that...
research
∙
09/24/2020
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints
We propose a framework based on Recurrent Neural Networks (RNNs) to dete...
research
∙
09/03/2019
Average-based Robustness for Continuous-Time Signal Temporal Logic
We propose a new robustness score for continuous-time Signal Temporal Lo...
research
∙
03/12/2019
