4 citations · 4 across the 1 of their papers we have counts for
3 papers
Inferring Temporal Logic Properties from Data using Boosted Decision Trees
Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian +1
Many autonomous systems, such as robots and self-driving cars, involve real-time decision making in complex environments, and require prediction of future outcomes from limited dat…
A Control Architecture for Provably-Correct Autonomous Driving
Erfan Aasi, Cristian Ioan Vasile, Calin Belta
This paper presents a novel two-level control architecture for a fully autonomous vehicle in a deterministic environment, which can handle traffic rules as specifications and low-l…
Robust Planning and Control For Polygonal Environments via Linear Programming
Mahroo Bahreinian, Erfan Aasi, Roberto Tron
We propose a novel approach for navigating in polygonal environments by synthesizing controllers that take as input relative displacement measurements with respect to a set of land…