Login / Signup
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods.
Andreas Eggers
Nacim Ramdani
Nedialko S. Nedialkov
Martin Fränzle
Published in:
SEFM (2011)
Keyphrases
</>
hybrid systems
data analysis
inductive learning
data mining
artificial intelligence
multi class
computational intelligence
intelligent systems
service oriented
qualitative and quantitative