2020
PuRSUE -from specification of robotic environments to synthesis of controllers.
Formal Aspects Comput., 2020