Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach

Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani 0001. Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Trans. Automat. Contr., 68(5):3011-3024, May 2023. [doi]

Abstract

Abstract is missing.