Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer. A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. In Michael Fisher, Fariba Sadri, Michael Thielscher, editors, Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Volume 5405 of Lecture Notes in Computer Science, pages 97-116, Springer, 2008. [doi]
Abstract is missing.