Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems

Belardinelli et al. "Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2015.

[Belardinelli et al. "Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/belardinelli2015ijcai-finite/)

@inproceedings{belardinelli2015ijcai-finite,
  title     = {{Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems}},
  author    = {Belardinelli, Francesco and Grossi, Davide and Lomuscio, Alessio},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {854-860},
  url       = {https://mlanthology.org/ijcai/2015/belardinelli2015ijcai-finite/}
}