Tag Archive | 2012
Our paper “The COMICS Tool – Computing Minimal Counterexamples for DTMCs“ was accepted at ATVA’12.
Our paper “SMT-RAT: An SMT-Compliant Non-Linear Real Arithmetic Toolbox“ was accepted at SAT’12.
Registration is open for the ROCKS Autumn School on Rigorous Dependability Analysis for Stochastic Systems. Registration deadline: July 15, 2012.
Joachim Redies’ Bachelor Thesis summary is nominated for Best Paper Award at the workshop GI Junge Informatik.
40 high-school students participated at the Aachener Informatiktage and the RWTH MINT Camp 2012.