Synthesis, Verification, and Analysis of Rich Models (SVARM 2010)

Georg Hofferek (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Controller Synthesis Using Uninterpreted Functions
Period20 Jul 201021 Jul 2010
Event titleSynthesis, Verification, and Analysis of Rich Models (SVARM 2010)
Event typeConference