Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods

Anand Balakrishnan, Merve Atasever, Jyotirmoy V. Deshmukh

In recent years, there has been increasing interest in using formal methods-based techniques to safely achieve temporal tasks, such as timed sequence of goals, or patrolling object…