Checking Multi-Agent Systems Against Temporal-Epistemic Specifications

@article{Chen2019CheckingMS,
  title={Checking Multi-Agent Systems Against Temporal-Epistemic Specifications},
  author={Ran Chen and Wenhui Zhang},
  journal={2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)},
  year={2019},
  pages={21-30}
}
This work is on methodologies for checking multi-agent systems against temporal-epistemic specifications. Since behaviors that comply with temporal-epistemic specifications in general (or theoretically) involve infinite sequences of actions of the involved agents, we must avoid checking such specifications based on such infinite sequences. This work at the theoretical side provides a bounded semantics for the temporal-epistemic specification formalism CTLK such that checking an infinite number… CONTINUE READING