Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.


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. .

This list was generated on Sat Feb 3 15:07:20 2024 GMT.