1 paper
Ivan S. Zapreev, Cees Verdier, Manuel Mazo
Controller synthesis techniques based on symbolic abstractions appeal by producing correct-by-design controllers, under intricate behavioural constraints. Yet, being relations betw…