Dong, S.; Ma, M.; Lamp, J.; Elbaum, S.; Dwyer, M. B.; Feng, L. Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction. AAAI 2025, 39, 26203-26210.