Login / Signup

Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges.

Alban Grastien
Published in: ECAI (2014)
Keyphrases
  • hybrid systems
  • intelligent systems
  • meta learning
  • black box
  • computational intelligence
  • artificial intelligence
  • discrete event
  • soft computing
  • neural network
  • real world
  • genetic programming