Login / Signup

A Component-Based Approach to Hybrid Systems Safety Verification.

Andreas MüllerStefan MitschWerner RetschitzeggerWieland SchwingerAndré Platzer
Published in: IFM (2016)
Keyphrases
  • hybrid systems
  • black box
  • neural network
  • soft computing
  • meta learning
  • intelligent systems
  • computational intelligence
  • discrete event
  • artificial intelligence
  • fuzzy logic