Cristian Ioan Vasile

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