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
Held atWorkshop on Games in Design and Verification
Event typeWorkshop