Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems

Christian Kroiß, Tomás Bures. Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems. In Phan Cong Vinh, Emil Vassev, Mike Hinchey, editors, Nature of Computation and Communication - International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers. Volume 144 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 42-52, Springer, 2014. [doi]

Abstract

Abstract is missing.