Ravi K. Prasanth, Lingji Chen, Jovan D. Boskovic, Raman K. Mehra. Approximate verification of a class of adaptive control systems. In Proceedings of the 2004 American Control Conference, ACC 2004, Boston, MA, USA, June 30 - July 2, 2004. pages 1905-1910, IEEE, 2004. [doi]
Abstract is missing.