Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian Statistics | IEEE Conference Publication | IEEE Xplore