• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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