A quantifier-free SMT encoding of non-linear hybrid automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Cimatti, Sergio Mover, Stefano Tonetta. A quantifier-free SMT encoding of non-linear hybrid automata. In Gianpiero Cabodi, Satnam Singh, editors, Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012. pages 187-195, IEEE, 2012. [doi]

This author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Sergio Mover' in GoogleThis author has not been identified. Look up 'Stefano Tonetta' in Google

runs on WebDSL