no code implementations • 23 Sep 2021 • Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
In this paper, we study formal synthesis of control policies for partially observed jump-diffusion systems against complex logic specifications.