A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems

From MaRDI portal