Modelling and Verifying Robotic Software that Uses Neural Networks.

Ziggy Attala, Ana Cavalcanti, Jim Woodcock

Browse the full ICTAC paper archive.