acm sigbed
|
emsoft
|
participants
Rayna Dimitrova
EMSOFT 2014: 14th International Conference on Embedded Software
Deductive Control Synthesis for Alternating-Time Logics
Rayna Dimitrova
and
Rupak Majumdar
10.1145/2656045.2656054
https://raynadimitrova.github.io/publications/emsoft14.pdf