Login / Signup

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias AlthoffStanley BakDario CattaruzzaXin ChenGoran FrehseRajarshi RayStefan Schupp
Published in: ARCH@CPSWeek (2017)
Keyphrases
  • hybrid systems
  • artificial neural networks
  • multi class
  • neural network
  • data mining
  • feature space
  • orders of magnitude