Paper accepted at CAV’13

Our paper “Flow*: An Analyzer for Non-Linear Hybrid Systems” is accepted at CAV’13.