Formally Explaining Neural Networks within Reactive Systems.

Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz

Browse the full FMCAD paper archive.