Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Majumdar, R., Saha, I., & Zamani, M. (2012). Synthesis of Minimal-Error Control Software. In EMSOFT’12: Proceedings of the Tenth ACM International Conference on Embedded Software 2012 (pp. 123-132). New York, NY: ACM.