"au:"Cristian Ioan Vasile"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"Cristian Ioan Vasile"" — arXiv2 Search

Showing 1–8 of 8 results

/ Date/ Name

May 6, 2021A Control Architecture for Provably-Correct Autonomous Driving Oct 1, 2025Adversarial Social Influence: Modeling Persuasion in Contested Social Networks Oct 1, 2021Classification of Time-Series Data Using Boosted Decision Trees Dec 28, 2021Time-Incremental Learning from Data Using Temporal Logics May 24, 2021Inferring Temporal Logic Properties from Data using Boosted Decision Trees Jul 27, 2013Sampling-Based Temporal Logic Path Planning Nov 22, 2025Time-aware Motion Planning in Dynamic Environments with Conformal Prediction Mar 6, 2026STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization