Counterexample-guided refinement of template polyhedra

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

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 - http://www.scopus.com/inward/record.url?eid=2-s2.0-85017522066&partnerID=MN8TOARS

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 -