1
一种针对安全可达动态系统的形式化学习方法
Formal learning approach for safe and reachable dynamical systems
2023年第8期 : 2411-2416
doi:10.19734/j.issn.1001-3695.2022.12.0822