Text this: Path Planning and Funnel Control for Wheeled Mobile Robot Based on Signal Temporal Logic