Counterexample-guided refinement of template polyhedra

Sergiy Bogomolov, Goran Frehse, M. Giacobbe, T.A. Henzinger

Research output: Book/ReportBook

Original languageEnglish
DOIs
Publication statusPublished - 2017

Cite this