@article{KNPS21,
author = {Kwiatkowska, Marta and Norman, Gethin and Parker, David and Santos, Gabriel},
year = {2021},
month = {},
pages = {},
title = {Automatic Verification of Concurrent Stochastic Systems},
journal = {Formal Methods in System Design},
volume = {},
note={To appear},
doi = {https://doi.org/10.1007/s10703-020-00356-y}
}