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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marius C. Bujorianu' in GoogleThis author has not been identified. Look up 'Manuela L. Bujorianu' in GoogleThis author has not been identified. Look up 'Howard Barringer' in Google

runs on WebDSL