4 citations · 6 across the 19 of their papers we have counts for
4 papers · 1 filter
A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
Disha Kamale, Xi Yu, Cristian-Ioan Vasile
In this work, we consider the problem of planning for temporal logic tasks in large robot environments. When full task compliance is unattainable, we aim to achieve the best possib…
Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
Ruya Karagulle, Cristian-Ioan Vasile, Necmiye Ozay
Autonomous systems increasingly rely on human feedback to align their behavior, expressed as pairwise comparisons, rankings, or demonstrations. While existing methods can adapt beh…
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
Gustavo A. Cardona, Kaier Liang, Cristian-Ioan Vasile
This paper presents an iterative approach for heterogeneous multi-agent route planning in environments with unknown resource distributions. We focus on a team of robots with divers…
Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
Kaier Liang, Guang Yang, Mingyu Cai +1
We propose a novel framework for safe navigation in dynamic environments by integrating Koopman operator theory with conformal prediction. Our approach leverages data-driven Koopma…