Semantic Abstraction-Guided Motion Planningfor scLTL Missions in Unknown Environments
Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences
Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification