Several invited presentations on compositionality, synthesis, and learning, at Dagstuhl Seminar “Formal Synthesis of Cyber-Physical Systems”

Tripakis, S. (Invited speaker)

Activity: Talk or presentation typesPublic or invited talk

Period14 May 201719 May 2017
Event titleDagstuhl Seminar 17201: Formal Synthesis of Cyber-Physical Systems
Event typeSeminar
LocationWadern, Germany
Degree of RecognitionInternational