Counterexample-guided refinement of template polyhedra

Research output: Book/Report › Book

Access to Document

TY - BOOK

T1 - Counterexample-guided refinement of template polyhedra

AU - Bogomolov, Sergiy

AU - Frehse, Goran

AU - Giacobbe, M.

AU - Henzinger, T.A.

PY - 2017

Y1 - 2017

UR - https://www.scopus.com/pages/publications/85017522066

U2 - 10.1007/978-3-662-54577-5_34

DO - 10.1007/978-3-662-54577-5_34

M3 - Book

BT - Counterexample-guided refinement of template polyhedra

ER -