Synthesis of Distributed Protocols from Scenarios and Requirements, at Dagstuhl Seminar “Non-Zero-Sum-Games and Control”

  • Stavros Tripakis (Invited speaker)

Activity: Talk or presentation typesInvited academic talk

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