Login / Signup

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

Andreas EggersNacim RamdaniNedialko S. NedialkovMartin 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