Cristian Ioan Vasile
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
6
Active years
2013–2022
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | IROS | Classification of Time-Series Data Using Boosted Decision Trees. | Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta |
| 2021 | CoRL | Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor. | Xiao Li, Jonathan A. DeCastro, Cristian Ioan Vasile, Sertac Karaman, Daniela Rus |
| 2020 | AAAI | Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior. | Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian Ioan Vasile, Mark Donahue, Daniela Rus |
| 2020 | CoRL | Differentiable Logic Layer for Rule Guided Trajectory Prediction. | Xiao Li, Guy Rosman, Igor Gilitschenski, Jonathan A. DeCastro, Cristian Ioan Vasile, Sertac Karaman, Daniela Rus |
| 2019 | ICRA | Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection. | Alyssa Pierson, Cristian Ioan Vasile, Anshula Gandhi, Wilko Schwarting, Sertac Karaman, Daniela Rus |
| 2019 | ISRR | ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. | Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta |
| 2018 | ICRA | Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand. | Jesper Karlsson, Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Daniela Rus |
| 2018 | WAFR | Counterexample-Guided Safety Contracts for Autonomous Driving. | Jonathan A. DeCastro, Lucas Liebenwein, Cristian Ioan Vasile, Russ Tedrake, Sertac Karaman, Daniela Rus |
| 2017 | IROS | Reinforcement learning with temporal logic rewards. | Xiao Li, Cristian Ioan Vasile, Calin Belta |
| 2017 | IROS | Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. | Cristian Ioan Vasile, Vasumathi Raman, Sertac Karaman |
| 2017 | ICRA | Minimum-violation scLTL motion planning for mobility-on-demand. | Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus |
| 2017 | ISRR | Compositional and Contract-Based Verification for Autonomous Driving on Road Networks. | Lucas Liebenwein, Wilko Schwarting, Cristian Ioan Vasile, Jonathan A. DeCastro, Javier Alonso-Mora, Sertac Karaman, Daniela Rus |
| 2016 | ICRA | Dynamic routing of energy-aware vehicles with Temporal Logic Constraints. | Derya Aksaray, Cristian Ioan Vasile, Calin Belta |
| 2016 | WAFR | Language-Guided Sampling-based Planning using Temporal Relaxation. | Francisco Penedo, Cristian Ioan Vasile, Calin Belta |
| 2014 | ICRA | Reactive sampling-based temporal logic path planning. | Cristian Ioan Vasile, Calin Belta |
| 2013 | IROS | Sampling-based temporal logic path planning. | Cristian Ioan Vasile, Calin Belta |