Modelling and verifying robotic software that uses neural networks

DOI10.1007/978-3-031-47963-2_3MaRDI QIDQ6605338zbMATH OpenFDO

Authors Ziggy Attala, Ana Cavalcanti, Jim Woodcock

Publication date 13 September 2024

Full work available at URL https://doi.org/10.1007/978-3-031-47963-2_3

zbMATH Keywords

CSPIsabelleMaraboutheorem provingverification

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Automated reasoning for probabilistic sequential programs with theorem proving
• Event-B refinement for continuous behaviours approximation
• FDR3 -- a modern refinement checker for CSP
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 867339 (Why is no real title available?)
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Star-based reachability analysis of deep neural networks
• Verifying feedforward neural networks for classification in Isabelle/HOL
• Verifying Recurrent Neural Networks Using Invariant Inference

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6605338)