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

DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems.

Bolun QiChuchu FanMinghao JiangSayan Mitra
Published in: HSCC (2018)
Keyphrases
  • black box
  • cyber physical systems
  • black boxes
  • controller synthesis
  • white box
  • cyber physical
  • integration testing
  • test cases
  • real time
  • neural network
  • multi agent
  • fuzzy logic