Formal synthesis of control strategies for dynamical systems | IEEE Conference Publication | IEEE Xplore