| emsoft | participants

Kaushik Mallik

EMSOFT 2020: 20th International Conference on Embedded Software

Assume-Guarantee Distributed Synthesis

Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Damien Zufferey