News
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.
Paper accepted
Our paper “Symbolic Counterexample Generation for Discrete-time Markov Chains” was accepted at FACS’12.
Paper accepted
Our paper “The COMICS Tool – Computing Minimal Counterexamples for DTMCs“ was accepted at ATVA’12.
Paper accepted
Our paper “SMT-RAT: An SMT-Compliant Non-Linear Real Arithmetic Toolbox“ was accepted at SAT’12.
ROCKS Autumn School
Registration is open for the ROCKS Autumn School on Rigorous Dependability Analysis for Stochastic Systems. Registration deadline: July 15, 2012.