ICCASA
2014
11 years 27 days ago
2014
Abstract. We propose a logical framework for modelling and verifying contextaware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting ...