Flow*: An Analyzer for Non-linear Hybrid Systems.

Xin Chen, Erika brahm, Sriram Sankaranarayanan

Browse the full CAV paper archive.