2021
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments
RSS 2021poster
Complex mission specifications can be often specified through temporal logics; such as Linear Temporal Logic and its syntactically co-safe fragment; scLTL. Finding trajectories that satisfy such specifications becomes hard if the robot is to fulfil the mission in an initially unknown environment; wh…