A Logical Framework for the Representation and Verification of Context-aware Agents
(2014)
Journal Article
© 2014, Springer Science+Business Media New York. We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting logic 𝓛OCRS allows us t... Read More about A Logical Framework for the Representation and Verification of Context-aware Agents.