Up a level |
Number of items: 1.
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.