Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud. Statistical Verification of PCTL Using Stratified Samples. In Alessandro Abate, Antoine Girard, Maurice Heemels, editors, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. Volume 51 of IFAC-PapersOnLine, pages 85-90, Elsevier, 2018. [doi]
@inproceedings{0044R00D18,
title = {Statistical Verification of PCTL Using Stratified Samples},
author = {Yu Wang 0044 and Nima Roohi and Matthew West 0001 and Mahesh Viswanathan 0001 and Geir E. Dullerud},
year = {2018},
doi = {10.1016/j.ifacol.2018.08.015},
url = {https://doi.org/10.1016/j.ifacol.2018.08.015},
researchr = {https://researchr.org/publication/0044R00D18},
cites = {0},
citedby = {0},
pages = {85-90},
booktitle = {6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018},
editor = {Alessandro Abate and Antoine Girard and Maurice Heemels},
volume = {51},
number = {16},
series = {IFAC-PapersOnLine},
publisher = {Elsevier},
}