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 Juli 2014
Ereignistitel2nd International Workshop on Quantified Boolean Formulas
VeranstaltungstypWorkshop