Claudia Picoco, Valentin Rychkov, Tunc Aldemir. A framework for verifying Dynamic Probabilistic Risk Assessment models. Rel. Eng. & Sys. Safety, 203:107099, 2020. [doi]
@article{PicocoRA20,
title = {A framework for verifying Dynamic Probabilistic Risk Assessment models},
author = {Claudia Picoco and Valentin Rychkov and Tunc Aldemir},
year = {2020},
doi = {10.1016/j.ress.2020.107099},
url = {https://doi.org/10.1016/j.ress.2020.107099},
researchr = {https://researchr.org/publication/PicocoRA20},
cites = {0},
citedby = {0},
journal = {Rel. Eng. & Sys. Safety},
volume = {203},
pages = {107099},
}