[HTML] sciencedirect.com

[HTML][HTML] Bridging formal methods and machine learning with model checking and global optimisation

S Bensalem, X Huang, W Ruan, Q Tang, C Wu… - Journal of Logical and …, 2024 - Elsevier
Formal methods and machine learning are two research fields with drastically different
foundations and philosophies. Formal methods utilise mathematically rigorous techniques …
被引用次数：1 相关文章

Bridging formal methods and machine learning with model checking and global optimisation

S Bensalem, X Huang, W Ruan, Q Tang… - Journal of Logical …, 2024 - wrap.warwick.ac.uk
Formal methods and machine learning are two research fields with drastically different
foundations and philosophies. Formal methods utilise mathematically rigorous techniques …
[PDF] core.ac.uk

[PDF][PDF] Journal of Logical and Algebraic Methods in Programming

S Bensalem, X Huang, W Ruan, Q Tang, C Wu… - Journal of Logical and …, 2024 - core.ac.uk
Formal methods and machine learning are two research fields with drastically different
foundations and philosophies. Formal methods utilise mathematically rigorous techniques …