Cristian Ioan Vasile

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 46

Top Topics

Boosted Decision Trees

Mazurkiewicz Traces

Autonomous Driving

Top Venues

Publications

Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees. L4DC (2023)
Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta
Classification of Time-Series Data Using Boosted Decision Trees. IROS (2022)
Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta
Time-Incremental Learning from Data Using Temporal Logics. CoRR (2021)
Erfan Aasi, Cristian Ioan Vasile, Calin Belta
A Control Architecture for Provably-Correct Autonomous Driving. CoRR (2021)
Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta
Classification of Time-Series Data Using Boosted Decision Trees. CoRR (2021)
Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta
Inferring Temporal Logic Properties from Data using Boosted Decision Trees. CoRR (2021)
Xiao Li, Jonathan A. DeCastro, Cristian Ioan Vasile, Sertac Karaman, Daniela Rus
Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor. CoRL (2021)
Xiao Li, Guy Rosman, Igor Gilitschenski, Cristian Ioan Vasile, Jonathan A. DeCastro, Sertac Karaman, Daniela Rus
Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features. IEEE Robotics Autom. Lett. 6 (2) (2021)
Erfan Aasi, Cristian Ioan Vasile, Calin Belta
A Control Architecture for Provably-Correct Autonomous Driving. ACC (2021)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Specifying User Preferences using Weighted Signal Temporal Logic. ACC (2021)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Specifying User Preferences Using Weighted Signal Temporal Logic. IEEE Control. Syst. Lett. 5 (6) (2021)
Xiao Li, Guy Rosman, Igor Gilitschenski, Jonathan A. DeCastro, Cristian Ioan Vasile, Sertac Karaman, Daniela Rus
Differentiable Logic Layer for Rule Guided Trajectory Prediction. CoRL (2020)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Specifying User Preferences using Weighted Signal Temporal Logic. CoRR (2020)
Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian Ioan Vasile, Mark Donahue, Daniela Rus
Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior. AAAI (2020)
Cristian Ioan Vasile, Xiao Li, Calin Belta
Reactive sampling-based path planning with temporal logic specifications. Int. J. Robotics Res. 39 (8) (2020)
Kevin Leahy, Austin Jones, Cristian Ioan Vasile
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. CoRR (2020)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. CoRR (2019)
Alyssa Pierson, Cristian Ioan Vasile, Anshula Gandhi, Wilko Schwarting, Sertac Karaman, Daniela Rus
Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection. ICRA (2019)
Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, Calin Belta
Control in belief space with temporal logic specifications using vision-based localization. Int. J. Robotics Res. 38 (6) (2019)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. ACC (2019)
Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian Ioan Vasile, Mark Donahue, Daniela Rus
Learning to Plan with Logical Automata. Robotics: Science and Systems (2019)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Average-based Robustness for Continuous-Time Signal Temporal Logic. CoRR (2019)
Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. ISRR (2019)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Average-based Robustness for Continuous-Time Signal Temporal Logic. CDC (2019)
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Metrics for Signal Temporal Logic Formulae. CDC (2018)
Cristian Ioan Vasile, Mac Schwager, Calin Belta
Translational and Rotational Invariance in Networked Dynamical Systems. IEEE Trans. Control. Netw. Syst. 5 (3) (2018)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod
ARCH-COMP18 Category Report: Stochastic Modelling. ARCH@ADHS (2018)
Jonathan A. DeCastro, Lucas Liebenwein, Cristian Ioan Vasile, Russ Tedrake, Sertac Karaman, Daniela Rus
Counterexample-Guided Safety Contracts for Autonomous Driving. WAFR (2018)
Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. ADHS (2018)
Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile, Ali-Akbar Agha-Mohammadi, Richard M. Murray, Aaron D. Ames
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. Robotics: Science and Systems (2018)
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Metrics for Signal Temporal Logic Formulae. CoRR (2018)
Jesper Karlsson, Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Daniela Rus
Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand. ICRA (2018)
Cristian Ioan Vasile, Derya Aksaray, Calin Belta
Time window temporal logic. Theor. Comput. Sci. 691 (2017)
Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus
Minimum-violation scLTL motion planning for mobility-on-demand. ICRA (2017)
Xiao Li, Cristian Ioan Vasile, Calin Belta
Reinforcement learning with temporal logic rewards. IROS (2017)
Cristian Ioan Vasile, Vasumathi Raman, Sertac Karaman
Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. IROS (2017)
Lucas Liebenwein, Wilko Schwarting, Cristian Ioan Vasile, Jonathan A. DeCastro, Javier Alonso-Mora, Sertac Karaman, Daniela Rus
Compositional and Contract-Based Verification for Autonomous Driving on Road Networks. ISRR (2017)
Francisco Penedo, Cristian Ioan Vasile, Calin Belta
Language-Guided Sampling-based Planning using Temporal Relaxation. WAFR (2016)
Eric Cristofalo, Kevin Leahy, Cristian Ioan Vasile, Eduardo Montijano, Mac Schwager, Calin Belta
Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints. ISER (2016)
Cristian Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta
Control in belief space with Temporal Logic specifications. CDC (2016)
Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta
A Decision Tree Approach to Data Classification using Signal Temporal Logic. HSCC (2016)
Xiao Li, Cristian Ioan Vasile, Calin Belta
Reinforcement Learning With Temporal Logic Rewards. CoRR (2016)
Ana Brândusa Pavel, Cristian Ioan Vasile
Identifying cancer type specific oncogenes and tumor suppressors using limited size data. J. Bioinform. Comput. Biol. 14 (6) (2016)
Cristian Ioan Vasile, Derya Aksaray, Calin Belta
Time Window Temporal Logic. CoRR (2016)
Kevin Leahy, Dingjiang Zhou, Cristian Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta
Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints. Auton. Robots 40 (8) (2016)
Derya Aksaray, Cristian Ioan Vasile, Calin Belta
Dynamic routing of energy-aware vehicles with Temporal Logic Constraints. ICRA (2016)
Cristian Ioan Vasile, Mac Schwager, Calin Belta
SE(N) invariance in networked systems. ECC (2015)
Cristian Ioan Vasile, Calin Belta
Reactive sampling-based temporal logic path planning. ICRA (2014)
Cristian Ioan Vasile, Calin Belta
An Automata-Theoretic Approach to the Vehicle Routing Problem. Robotics: Science and Systems (2014)
Kevin Leahy, Dingjiang Zhou, Cristian Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. ISER (2014)
Cristian Ioan Vasile, Calin Belta
Sampling-based temporal logic path planning. IROS (2013)
Cristian Ioan Vasile, Calin Belta
Sampling-Based Temporal Logic Path Planning. CoRR (2013)
Cristian Ioan Vasile, Ana Brândusa Pavel, Ioan Dumitrache
Universality of Enzymatic Numerical P systems. Int. J. Comput. Math. 90 (4) (2013)
Ana Brândusa Pavel, Cristian Ioan Vasile
PyElph - a software tool for gel images analysis and phylogenetics. BMC Bioinform. 13 (2012)
Cristian Ioan Vasile, Ana Brândusa Pavel, Ioan Dumitrache, Gheorghe Paun
On the power of enzymatic numerical P systems. Acta Informatica 49 (6) (2012)
Catalin Buiu, Cristian Ioan Vasile, Octavian Arsene
Development of membrane controllers for mobile robots. Inf. Sci. 187 (2012)
Ana Brândusa Pavel, Cristian Ioan Vasile, Ioan Dumitrache
Robot Localization Implemented with Enzymatic Numerical P Systems. Living Machines (2012)
Cristian Ioan Vasile, Ana Pavel, Catalin Buiu
Integrating human swarm interaction in a distributed robotic control system. CASE (2011)
Cristian Ioan Vasile, Catalin Buiu
A software system for collaborative robotics applications and its application in particle swarm optimization implementations. Appl. Soft Comput. 11 (8) (2011)