4 citations · 4 across the 5 of their papers we have counts for
6 papers · 1 filter
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
This work presents a step towards utilizing incrementally-improving symbolic perception knowledge of the robot's surroundings for provably correct reactive control synthesis applie…
Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot
Gustavo A. Cardona, Diego S. D'Antonio, Cristian-Ioan Vasile +1
Transporting objects using quadrotors with cables has been widely studied in the literature. However, most of those approaches assume that the cables are previously attached to the…
Automata-based Optimal Planning with Relaxed Specifications
Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile
In this paper, we introduce an automata-based framework for planning with relaxed specifications. User relaxation preferences are represented as weighted finite state edit systems…
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…
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
We present a new average-based robustness score for Signal Temporal Logic (STL) and a framework for optimal control of a dynamical system under STL constraints. By averaging the sc…