Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment.

Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer

Browse the full VECoS paper archive.