Workshop on Synthesis, Verification and Analysis of Rich Models (SVARM), Madrid, 2013

Robert Könighofer (Speaker)

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

Description

Talk: QBF- and SAT-Based Synthesis Methods for Safety Specifications
Period17 Oct 2013
Held atWorkshop on Synthesis, Verification and Analysis of Rich Models (SVARM), Madrid, 2013
Event typeWorkshop