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 typesPublic or invited talk

Period1 Feb 20156 Feb 2015
Event titleDagstuhl Seminar 15061: Non-Zero-Sum-Games and Control
Event typeSeminar
LocationWadern, Germany
Degree of RecognitionInternational