Huimin Zhang, Lei Feng, Naiqi Wu, Zhiwu Li. Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems. IEEE T. Automation Science and Engineering, 15(1):2-15, 2018. [doi]
Abstract is missing.