Loading [MathJax]/extensions/TeX/AMSmath.js
Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems | IEEE Conference Publication | IEEE Xplore