Constrained Markov Decision Processes for Multi-Cloud Resource Orchestration, A Provably-Safe CARL Framework for Industrial IoT and Cyber-Physical Systems. TSP 2026, 2 (3).