Login / Signup

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

Matthias AlthoffStanley BakMarcelo ForetsGoran FrehseNiklas KochdumperRajarshi RayChristian SchillingStefan Schupp
Published in: ARCH@CPSIoTWeek (2019)
Keyphrases
  • hybrid systems
  • dynamical systems
  • black box
  • intelligent systems
  • machine learning
  • genetic algorithm
  • decision making
  • multi agent systems
  • semi supervised
  • fitness function
  • soft computing