Modelling and verifying robotic software that uses neural networks

DOI10.1007/978-3-031-47963-2_3MaRDI QIDQ6605338

J. C. P. Woodcock, Ziggy Attala, Ana Cavalcanti

Publication date: 13 September 2024

zbMATH Keywords

verificationtheorem provingCSPIsabelleMarabou

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Modelling and verifying robotic software that uses neural networks