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 types › Invited academic talk
Activity: Talk or presentation types › Invited academic talk