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. Future Generation Comp. Syst., 56:124-139, 2016. [doi]

Abstract

Abstract is missing.