Template-Based Unbounded Time Verification of Affine Hybrid Automata.

Thao Dang, Thomas Martin Gawlitza

Browse the full APLAS paper archive.