Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress.

Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey

Browse the full EMSOFT paper archive.