Second International Workshop on Quantified Boolean Formulas

Robert Könighofer (Redner/in)

Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science

Beschreibung

Talk: Reactive Synthesis using (Incremental) QBF Solving
Zeitraum13 Jul 2014
Gehalten amSecond International Workshop on Quantified Boolean Formulas
VeranstaltungstypWorkshop