Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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.

This list was generated on Sun Feb 11 08:22:50 2024 GMT.