4 citations · 6 across the 18 of their papers we have counts for
4 papers · 1 filter
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…