Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. - MEIYI MA; STANKOVIC, JOHN; BARTOCCI, EZIO; LU FENG (ACM Transactions on Embedded Computing Systems, 2021)