Rss 2021, Spotlight Talk 92: Semantic Abstraction-Guided Motion Planning For Scltl Missions...