Cristian-Ioan Vasile

Lehigh University — United States

Computer Science · Physical Sciences

23h-index1.9kcitations140works0.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(56), Robotic Path Planning Algorithms(29), Logic, Reasoning, and Knowledge(16), Model-Driven Software Engineering Techniques(14), AI-based Problem Solving and Planning(13)

Publications140 total

A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
arXiv (Cornell University)·2025Open Access
Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
arXiv (Cornell University)·2025Open Access
Learning an interpretable logic monitor for risk-aware and socially-compliant trajectory planning
The International Journal of Robotics Research·2025
Adversarial Social Influence: Modeling Persuasion in Contested Social Networks
arXiv (Cornell University)·2025Open Access
Truck Fleet Coordination for Warehouse Trailer Management by Temporal Logic with Energy Constraints
2025
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
2025
Safety-Critical Learning of Robot Control With Temporal Logic Specifications
IEEE Transactions on Automatic Control·2025· 3 cited
STL and wSTL control synthesis: A disjunction-centric mixed-integer linear programming approach
Nonlinear Analysis Hybrid Systems·2025· 1 citedOpen Access
Optimal On-the-Fly Route Planning With Rich Transportation Requests
IEEE Transactions on Robotics·2025
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
2024
STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
arXiv (Cornell University)·2024Open Access
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards
arXiv (Cornell University)·2024Open Access
A Two-Level Control Algorithm for Autonomous Driving in Urban Environments
IEEE Transactions on Intelligent Transportation Systems·2024· 2 cited
Generalized Mean Robustness for Signal Temporal Logic
IEEE Transactions on Automatic Control·2024· 2 cited
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
arXiv (Cornell University)·2024Open Access
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
2024
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
arXiv (Cornell University)·2024Open Access
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty
2024· 1 cited
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
2024
TLINet: Differentiable Neural Network Temporal Logic Inference
arXiv (Cornell University)·2024Open Access
page 1 of 7Next →

Frequent Co-authors

Călin Belta(21), Ana B. Pavel(8), Kevin Leahy(8), Sertaç Karaman(7), Daniela Rus(7), Mac Schwager(6), Austin Jones(5), Ioan Dumitrache(5), Zachary Serlin(4), Sofie Haesaert(4), Gustavo A. Cardona(4), Roberto Tron(3), Jonathan DeCastro(3), Disha Kamale(3), Xiao Li(2), Francisco Penedo(2), Cătălin Buiu(2), Jana Tůmová(2), Dingjiang Zhou(2), Konstantinos Oikonomopoulos(2)