Synthesis of Distributed Protocols from Scenarios and Requirements, at Dagstuhl Seminar “Non-Zero-Sum-Games and Control”
Tripakis, S. (Invited speaker)
Activity: Talk or presentation types › Public or invited talk