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]
Abstract is missing.