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

researchr

You are not signed in
Sign in
Sign up

Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra. DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018. pages 269-270, ACM, 2018. [doi]

This author has not been identified. Look up 'Bolun Qi' in GoogleThis author has not been identified. Look up 'Chuchu Fan' in GoogleThis author has not been identified. Look up 'Minghao Jiang' in GoogleThis author has not been identified. Look up 'Sayan Mitra' in Google

runs on WebDSL