Up a level |
Bensalem, Saddek, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Ruan, Wenjie, Tang, Qiyi, Wu, Changshun and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2024)
Bridging formal methods and machine learning with model checking and global optimisation.
Journal of Logical and Algebraic Methods in Programming, 137.
p. 100941.
Bensalem, Saddek, Cheng, Chih-Hong, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Katsaros, Panagiotis, Molin, Adam, Nickovic, Dejan and Peled, Doron
(2022)
Formal Specification for Learning-Enabled Autonomous Systems.
.