Signal Temporal Logic Compliant Co-design of Planning and Control

Open in new window