Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.

Farn Wang

Browse the full CAV paper archive.