Marco Weber
Paper accepted
Our paper “High-level counterexamples for Probabilistic Automata” was accepted at QEST 2013. We also published a technical report including all proofs, which is available here.
Paper accepted
Our paper “Lyapunov Function Synthesis using Handelman Representations” is accepted in the invited session of NOLCOS’13.
Paper accepted at CADE 2013
Our paper “A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition” was accepted at CADE 2013.
Paper accepted at CAV’13
Our paper “Flow*: An Analyzer for Non-Linear Hybrid Systems” is accepted at CAV’13.
HyPro starts
Our new DFg-funded project HyPro starts, which is done in cooperation with the group of Prof. Kowalewski.
Paper accepted
Our paper “Regular Model Checking Using Solver Technologies and Automata Learning” was accepted at NFM 2013.
Paper accepted
Our paper “Taylor Model Flowpipe Construction for Non-Linear Hybrid Systems” was accepted at RTSS’12.