Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Pritam, R., Tabuada, P., & Majumdar, R. (2011). Pessoa 2.0: A Controller Synthesis Tool for Cyber-Physical Systems. In HSCC’11: Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control (pp. 315-316). New York, NY: ACM.