2 papers
cs.RO2026
Temporal-Logic-Aware Frontier-Based Exploration
Azizollah Taheri, Derya Aksaray
This paper addresses the problem of temporal logic motion planning for an autonomous robot operating in an unknown environment. The objective is to enable the robot to satisfy a sy…
cs.RO2025
Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
Azizollah Taheri, Derya Aksaray
This paper addresses a motion planning problem to achieve spatio-temporal-logical tasks, expressed by syntactically co-safe linear temporal logic specifications (scLTL\next), in un…