Lenz Belzner, Thomas Gabor. Bayesian Verification under Model Uncertainty. In 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2017, Buenos Aires, Argentina, May 21, 2017. pages 10-13, IEEE, 2017. [doi]
@inproceedings{BelznerG17,
title = {Bayesian Verification under Model Uncertainty},
author = {Lenz Belzner and Thomas Gabor},
year = {2017},
doi = {10.1109/SEsCPS.2017.2},
url = {https://doi.org/10.1109/SEsCPS.2017.2},
researchr = {https://researchr.org/publication/BelznerG17},
cites = {0},
citedby = {0},
pages = {10-13},
booktitle = {3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2017, Buenos Aires, Argentina, May 21, 2017},
publisher = {IEEE},
isbn = {978-1-5386-4043-2},
}