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

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