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…