Login / Signup

A Benchmark for Component-based Hybrid Systems Safety Verification.

Andreas MüllerStefan MitschWerner RetschitzeggerWieland SchwingerAndré Platzer
Published in: ARCH@CPSWeek (2017)
Keyphrases
  • hybrid systems
  • black box
  • intelligent systems
  • neural network
  • meta learning
  • computational intelligence
  • soft computing
  • discrete event
  • artificial intelligence
  • real world
  • machine learning
  • knowledge base