acm sigbed
|
emsoft
|
participants
Nikhil Kumar Singh
EMSOFT 2021: 21st International Conference on Embedded Software
Specification Guided Automated Synthesis of Feedback Controllers
Nikhil Kumar Singh
and
Indranil Saha
10.1145/3477011
https://www.cse.iitk.ac.in/users/isaha/Publications/Conferences/EMSOFT21.pdf/