Alessandro Cimatti, Sergio Mover and Stefano Tonetta received the Best Paper Award at the FMCAD12 conference for the paper “A quantifier-free SMT encoding of non-linear hybrid automata”.
Alessandro Cimatti, Sergio Mover and Stefano Tonetta received the Best Paper Award at the FMCAD12 conference for the paper “A quantifier-free SMT encoding of non-linear hybrid automata”.