ML Anthology

Verification of Broadcasting Multi-Agent Systems Against an Epistemic Strategy Logic

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
IJCAI 2017 pp. 91-97
doi:10.24963/IJCAI.2017/14 /ijcai/2017/belardinelli2017ijcai-verification/
PDF IJCAI Semantic Scholar

Cite

Text

Belardinelli et al. "Verification of Broadcasting Multi-Agent Systems Against an Epistemic Strategy Logic." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/14

Markdown

[Belardinelli et al. "Verification of Broadcasting Multi-Agent Systems Against an Epistemic Strategy Logic." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/belardinelli2017ijcai-verification/) doi:10.24963/IJCAI.2017/14

BibTeX

@inproceedings{belardinelli2017ijcai-verification,
  title     = {{Verification of Broadcasting Multi-Agent Systems Against an Epistemic Strategy Logic}},
  author    = {Belardinelli, Francesco and Lomuscio, Alessio and Murano, Aniello and Rubin, Sasha},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {91-97},
  doi       = {10.24963/IJCAI.2017/14},
  url       = {https://mlanthology.org/ijcai/2017/belardinelli2017ijcai-verification/}
}