Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam. Smooth operator: Control using the smooth robustness of temporal logic. In IEEE Conference on Control Technology and Applications, CCTA 2017, Mauna Lani Resort, HI, USA, August 27-30, 2017. pages 1235-1240, IEEE, 2017. [doi]
Abstract is missing.