BSTL: Bayesian Signal Temporal Logic for Predictive Edge Service Monitoring. - Deng Zhao; Zhangbing Zhou; Shuiguang Deng; Xiao Xue 001; Ruixi Pan; Jiangwei Li; Sami Yangui (ICWS, 2025)