Cristian-Ioan Vasile

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 42

Top Topics

Optimal Planning

Reinforcement Learning

Mazurkiewicz Traces

Top Venues

IEEE Robotics Autom. Lett.

Publications

Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
TLINet: Differentiable Neural Network Temporal Logic Inference. CoRR (2024)
Kaier Liang, Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation. CoRR (2024)
Kaier Liang, Cristian-Ioan Vasile
Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method. CoRR (2024)
Disha Kamale, Cristian-Ioan Vasile
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams. ICRA (2024)
Disha Kamale, Cristian-Ioan Vasile
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams. CoRR (2024)
Kaier Liang, Gustavo A. Cardona, Cristian-Ioan Vasile
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty. ICRA (2024)
Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
Robustness Measures and Monitors for Time Window Temporal Logic. CoRR (2023)
Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach. CoRR (2023)
Guangyi Liu, Disha Kamale, Cristian-Ioan Vasile, Nader Motee
Symbolic Perception Risk in Autonomous Driving. ACC (2023)
Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
Robustness Measures and Monitors for Time Window Temporal Logic. CDC (2023)
Gustavo A. Cardona, Cristian-Ioan Vasile
Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications. ECC (2023)
Gustavo A. Cardona, Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo. CoRR (2023)
Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic. HSCC (2023)
Gustavo A. Cardona, Kevin Leahy, Cristian-Ioan Vasile
Temporal Logic Swarm Control with Splitting and Merging. ICRA (2023)
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. ACC (2023)
Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
Rewrite-Based Decomposition of Signal Temporal Logic Specifications. NFM (2023)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. CDC (2023)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. ICRA (2023)
Kaier Liang, Cristian-Ioan Vasile
Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method. MRS (2023)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. CoRR (2023)
Guangyi Liu, Disha Kamale, Cristian-Ioan Vasile, Nader Motee
Symbolic Perception Risk in Autonomous Driving. CoRR (2023)
Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications. IEEE Robotics Autom. Lett. 8 (4) (2023)
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
Learning Signal Temporal Logic through Neural Network for Interpretable Classification. ACC (2023)
Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). IEEE Trans. Robotics 38 (4) (2022)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. CoRR (2022)
Xiao Li, Guy Rosman, Igor Gilitschenski, Brandon Araki, Cristian-Ioan Vasile, Sertac Karaman, Daniela Rus
Learning an Explainable Trajectory Generator Using the Automaton Generative Network (AGN). IEEE Robotics Autom. Lett. 7 (2) (2022)
Gustavo A. Cardona, David Saldaña, Cristian-Ioan Vasile
Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints. CDC (2022)
Kaier Liang, Cristian-Ioan Vasile
Fair Planning for Mobility-on-Demand with Temporal Logic Requests. IROS (2022)
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
Learning Signal Temporal Logic through Neural Network for Interpretable Classification. CoRR (2022)
Gustavo A. Cardona, Cristian-Ioan Vasile
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems. WAFR (2022)
Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7 (2) (2022)
Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications. CoRR (2022)
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. CoRR (2022)
Kevin Leahy, Austin Jones, Cristian-Ioan Vasile
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. IEEE Robotics Autom. Lett. 7 (2) (2022)
Kaier Liang, Cristian-Ioan Vasile
Fair Planning for Mobility-on-Demand with Temporal Logic Requests. CoRR (2022)
Gustavo A. Cardona, Diego S. D'Antonio, Cristian-Ioan Vasile, David Saldaña
Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot. CoRR (2021)
Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile
Automata-based Optimal Planning with Relaxed Specifications. CoRR (2021)
Jesper Karlsson, Anastasiia Varava, Cristian-Ioan Vasile, Sertac Karaman, Danica Kragic, Daniela Rus, Jana Tumova
When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning. ICAR (2021)
Mingyu Cai, Cristian-Ioan Vasile
Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic through Gaussian Processes and Control Barrier Functions. CoRR (2021)
Gustavo A. Cardona, Diego S. D'Antonio, Cristian-Ioan Vasile, David Saldaña
Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot. IROS (2021)
Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian-Ioan Vasile, Mark Donahue, Daniela Rus
Learning and planning with logical automata. Auton. Robots 45 (7) (2021)
Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile
Automata-based Optimal Planning with Relaxed Specifications. IROS (2021)