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…