Cristian-Ioan Vasile

収録論文 20本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• ViTL: Temporal Logic-Guided Zero-Shot Natural Language Navigation via Vision-Language Models
  2026/6/1
• Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
  2026/4/1
• Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
  2025/11/1
• A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
  2025/11/1
• An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
  2025/8/1
• Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
  2025/4/1
• STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
  2024/12/1
• Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
  2024/6/1
• A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
  2023/10/1
• Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception
  2023/9/1
• Symbolic Perception Risk in Autonomous Driving
  2023/3/1
• Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
  2022/10/1
• Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
  2022/9/1
• Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications
  2022/1/1
• Safety-Critical Learning of Robot Control with Temporal Logic Specifications
  2021/9/1
• Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot
  2021/8/1
• Automata-based Optimal Planning with Relaxed Specifications
  2021/7/1
• Average-based Robustness for Continuous-Time Signal Temporal Logic
  2019/9/1
• Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
  2019/3/1
• Reinforcement Learning With Temporal Logic Rewards
  2016/12/1