Login / Signup

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

Matthias AlthoffStanley BakXin ChenChuchu FanMarcelo ForetsGoran FrehseNiklas KochdumperYangge LiSayan MitraRajarshi RayChristian SchillingStefan Schupp
Published in: ARCH@ADHS (2018)
Keyphrases
  • hybrid systems
  • search algorithm
  • black box
  • neural network
  • machine learning
  • access control
  • multi label