Workshop on Games in Design and Verification

  • Barbara Jobstmann (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Game-based and simulation-based improvements for LTL synthesis
Period21 Aug 2006
Event titleWorkshop on Games in Design and Verification
Event typeWorkshop