Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods

BIB
Andreas Eggers and Nacim Ramdani and Nedialko S. Nedialkov and Martin Fränzle
Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM)
To appear
01 / 2011
inproceedings
Springer
LNCS