Counterexample-Guided Refinement of Template Polyhedra

From MaRDI portal
Publication:3303915

DOI10.1007/978-3-662-54577-5_34zbMath1452.68099OpenAlexW2602950602WikidataQ62037202 ScholiaQ62037202MaRDI QIDQ3303915

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

Publication date: 5 August 2020

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://eprint.ncl.ac.uk/271826




Related Items (7)


Uses Software


Cites Work


This page was built for publication: Counterexample-Guided Refinement of Template Polyhedra