Modelling and Verifying Robotic Software that Uses Neural Networks.

Sun, 01 Jan 2023 00:00:00 +0100

Ziggy Attala , Ana Cavalcanti, Jim Woodcock :
Modelling and Verifying Robotic Software that Uses Neural Networks. ICTAC 2023: 15-35