Login / Signup

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

Matthias AlthoffStanley BakZongnan BaoMarcelo ForetsGoran FrehseDaniel FreireNiklas KochdumperYangge LiSayan MitraRajarshi RayChristian SchillingStefan SchuppMark Wetzlinger
Published in: ARCH (2020)
Keyphrases
  • hybrid systems
  • machine learning
  • neural network
  • decision trees
  • support vector machine
  • intelligent systems
  • soft computing
  • dynamic systems
  • discrete event