Cristian-Ioan Vasile

59 papers A* 5A 3C 6Journal 34Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Two-Level Control Algorithm for Autonomous Driving in Urban Environments.
IEEE Trans. Intell. Transp. Syst.
Erfan Aasi, Mingyu Cai, Cristian-Ioan Vasile, Calin Belta
2025 J jnl
A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction.
CoRR
Disha Kamale, Xi Yu, Cristian-Ioan Vasile
2025 — conf
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards.
L4DC
Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2025 A* conf
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals.
ICRA
Gustavo A. Cardona, Kaier Liang, Cristian-Ioan Vasile
2025 J jnl
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals.
CoRR
Gustavo A. Cardona, Kaier Liang, Cristian-Ioan Vasile
2025 J jnl
Generalized Mean Robustness for Signal Temporal Logic.
IEEE Trans. Autom. Control.
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
2025 J jnl
Optimal On-the-Fly Route Planning With Rich Transportation Requests.
IEEE Trans. Robotics
Cristian-Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus
2025 — conf
STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems.
L4DC
Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile, George J. Pappas, Rahul Mangharam
2025 J jnl
Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction.
CoRR
Kaier Liang, Guang Yang, Mingyu Cai, Cristian-Ioan Vasile
2025 J jnl
Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1.
CoRR
Ruya Karagulle, Cristian-Ioan Vasile, Necmiye Ozay
2025 J jnl
Safety-Critical Learning of Robot Control With Temporal Logic Specifications.
IEEE Trans. Autom. Control.
Mingyu Cai, Cristian-Ioan Vasile
2025 C conf
Truck Fleet Coordination for Warehouse Trailer Management by Temporal Logic with Energy Constraints.
ACC
Gustavo A. Cardona, Cristian-Ioan Vasile, Stefano Di Cairano
2024 J jnl
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards.
CoRR
Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2024 A* conf
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty.
ICRA
Kaier Liang, Gustavo A. Cardona, Cristian-Ioan Vasile
2024 C conf
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach.
ACC
Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile
2024 J jnl
Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method.
CoRR
Kaier Liang, Cristian-Ioan Vasile
2024 — conf
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation.
CDC
Kaier Liang, Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
2024 J jnl
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation.
CoRR
Kaier Liang, Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
2024 A* conf
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams.
ICRA
Disha Kamale, Cristian-Ioan Vasile
2024 J jnl
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams.
CoRR
Disha Kamale, Cristian-Ioan Vasile
2024 J jnl
Planning for heterogeneous teams of robots with temporal logic, capability, and resource constraints.
Int. J. Robotics Res.
Gustavo A. Cardona, Cristian-Ioan Vasile
2024 J jnl
STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems.
CoRR
Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile, George J. Pappas, Rahul Mangharam
2024 J jnl
TLINet: Differentiable Neural Network Temporal Logic Inference.
CoRR
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
2023 J jnl
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo.
CoRR
Gustavo A. Cardona, Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
2023 A* conf
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers.
ICRA
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
2023 J jnl
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach.
CoRR
Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile
2023 — conf
Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method.
MRS
Kaier Liang, Cristian-Ioan Vasile
2023 — conf
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception.
CDC
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
2023 J jnl
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception.
CoRR
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
2023 C conf
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.
ACC
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2023 C conf
Learning Signal Temporal Logic through Neural Network for Interpretable Classification.
ACC
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
2023 — conf
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic.
HSCC
Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
2023 J jnl
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications.
IEEE Robotics Autom. Lett.
Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
2023 — conf
Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications.
ECC
Gustavo A. Cardona, Cristian-Ioan Vasile
2023 — conf
Rewrite-Based Decomposition of Signal Temporal Logic Specifications.
NFM
Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
2023 — conf
Robustness Measures and Monitors for Time Window Temporal Logic.
CDC
Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2023 J jnl
Robustness Measures and Monitors for Time Window Temporal Logic.
CoRR
Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2023 C conf
Symbolic Perception Risk in Autonomous Driving.
ACC
Guangyi Liu, Disha Kamale, Cristian-Ioan Vasile, Nader Motee
2023 J jnl
Symbolic Perception Risk in Autonomous Driving.
CoRR
Guangyi Liu, Disha Kamale, Cristian-Ioan Vasile, Nader Motee
2023 A* conf
Temporal Logic Swarm Control with Splitting and Merging.
ICRA
Gustavo A. Cardona, Kevin Leahy, Cristian-Ioan Vasile
2022 J jnl
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers.
CoRR
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
2022 A conf
Fair Planning for Mobility-on-Demand with Temporal Logic Requests.
IROS
Kaier Liang, Cristian-Ioan Vasile
2022 J jnl
Fair Planning for Mobility-on-Demand with Temporal Logic Requests.
CoRR
Kaier Liang, Cristian-Ioan Vasile
2022 J jnl
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams.
IEEE Robotics Autom. Lett.
Kevin Leahy, Austin Jones, Cristian-Ioan Vasile
2022 J jnl
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.
CoRR
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2022 J jnl
Learning Signal Temporal Logic through Neural Network for Interpretable Classification.
CoRR
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
2022 J jnl
Learning an Explainable Trajectory Generator Using the Automaton Generative Network (AGN).
IEEE Robotics Autom. Lett.
Xiao Li, Guy Rosman, Igor Gilitschenski, Brandon Araki, Cristian-Ioan Vasile, Sertac Karaman, Daniela Rus
2022 J jnl
Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications.
CoRR
Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
2022 C conf
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems.
WAFR
Gustavo A. Cardona, Cristian-Ioan Vasile
2022 — conf
Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints.
CDC
Gustavo A. Cardona, David Saldaña, Cristian-Ioan Vasile
2022 J jnl
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications.
IEEE Robotics Autom. Lett.
Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile
2022 J jnl
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS).
IEEE Trans. Robotics
Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta
2021 A conf
Automata-based Optimal Planning with Relaxed Specifications.
IROS
Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile
2021 J jnl
Automata-based Optimal Planning with Relaxed Specifications.
CoRR
Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile
2021 J jnl
Learning and planning with logical automata.
Auton. Robots
Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian-Ioan Vasile, Mark Donahue, Daniela Rus
2021 A conf
Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot.
IROS
Gustavo A. Cardona, Diego F. Salazar-D'Antonio, Cristian-Ioan Vasile, David Saldaña
2021 J jnl
Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot.
CoRR
Gustavo A. Cardona, Diego F. Salazar-D'Antonio, Cristian-Ioan Vasile, David Saldaña
2021 J jnl
Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic through Gaussian Processes and Control Barrier Functions.
CoRR
Mingyu Cai, Cristian-Ioan Vasile
2021 — conf
When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning.
ICAR
Jesper Karlsson, Anastasiia Varava, Cristian-Ioan Vasile, Sertac Karaman, Danica Kragic, Daniela Rus, Jana Tumova