Counterexample-Guided Refinement of Template Polyhedra.

Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger

Browse the full TACAS paper archive.