Raj Kumar Keshri, Kasturi Barik, Chirantana Mallick. A Formal Optimization Framework for AI-Based Automation Systems: Multi-Objective Decision-Making under Machine Learning Operations (MLOps). AS 2026, 27, 259-266.