Discretizing Affine Hybrid Automata with Uncertainty.

Thao Dang, Thomas Martin Gawlitza

Browse the full ATVA paper archive.