| emsoft | participants

Arjun Radhakrishna

Program Committees:
2018
.

EMSOFT 2012: 12th International Conference on Embedded Software

Synthesis from Incompatible Specifications

Pavol Černý, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, and Nishant Totla