Approaching the Coverability Problem Continuously

Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
January 2016
PDF DOI
Type
Conference paper
Publication
Tools and Algorithms for the Construction and Analysis of Systems, TACAS