Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan 0001, Geir E. Dullerud. Statistical verification of dynamical systems using set oriented methods. In Antoine Girard, Sriram Sankaranarayanan, editors, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. pages 169-178, ACM, 2015. [doi]
@inproceedings{WangRW0D15,
title = {Statistical verification of dynamical systems using set oriented methods},
author = {Yu Wang and Nima Roohi and Matthew West and Mahesh Viswanathan 0001 and Geir E. Dullerud},
year = {2015},
doi = {10.1145/2728606.2728627},
url = {http://doi.acm.org/10.1145/2728606.2728627},
researchr = {https://researchr.org/publication/WangRW0D15},
cites = {0},
citedby = {0},
pages = {169-178},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
editor = {Antoine Girard and Sriram Sankaranarayanan},
publisher = {ACM},
isbn = {978-1-4503-3433-4},
}