![](/img/cover-not-exists.png)
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods
Eggers, Andreas, Ramdani, Nacim, Nedialkov, Nedialko S., Fränzle, MartinVolume:
14
Language:
english
Journal:
Software & Systems Modeling
DOI:
10.1007/s10270-012-0295-3
Date:
February, 2015
File:
PDF, 2.69 MB
english, 2015