Synthesis of minimal-error control software.

Rupak Majumdar, Indranil Saha, Majid Zamani

Browse the full EMSOFT paper archive.