Formally Verified Neural Network Control Barrier Certificates for Unknown Systems

Autor: Anand, Mahathi, Zamani, Majid
Zdroj: In IFAC PapersOnLine 2023 56(2):2431-2436
Databáze: ScienceDirect
Externí odkaz: