@inproceedings{BFG+7,
title = {Counterexample-Guided Refinement of Template Polyhedra },
author = {Bogomolov, Sergiy and Frehse, Goran and Giacobbe, Mirco and Henzinger, Thomas A.},
year = {2017},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, {TACAS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software},
pages = {589--606},
team = {TEMPO},
}
