Counterexample-Guided Refinement of Template Polyhedra

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

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

2017 ◽

pp. 589-606 ◽

Author(s):

Sergiy Bogomolov ◽

Goran Frehse ◽

Mirco Giacobbe ◽

Thomas A. Henzinger

Download Full-text