A quantifier-free SMT encoding of non-linear hybrid automata.

Alessandro Cimatti, Sergio Mover, Stefano Tonetta

Browse the full FMCAD paper archive.