ML Anthology

Model Checking Multi-Agent Systems Against LDLK Specifications

Jeremy Kong, Alessio Lomuscio
IJCAI 2017 pp. 1138-1144
doi:10.24963/IJCAI.2017/158 /ijcai/2017/kong2017ijcai-model/
PDF IJCAI Semantic Scholar

Cite

Text

Kong and Lomuscio. "Model Checking Multi-Agent Systems Against LDLK Specifications." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/158

Markdown

[Kong and Lomuscio. "Model Checking Multi-Agent Systems Against LDLK Specifications." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/kong2017ijcai-model/) doi:10.24963/IJCAI.2017/158

BibTeX

@inproceedings{kong2017ijcai-model,
  title     = {{Model Checking Multi-Agent Systems Against LDLK Specifications}},
  author    = {Kong, Jeremy and Lomuscio, Alessio},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {1138-1144},
  doi       = {10.24963/IJCAI.2017/158},
  url       = {https://mlanthology.org/ijcai/2017/kong2017ijcai-model/}
}