Login / Signup

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