Natasha Alechina's Publications

Model Checking for Coalition Announcement Logic (2018)

By: Rustam Galimullin, Natasha Alechina, and Hans van Ditmarsch

Download Information

Rustam Galimullin, Natasha Alechina, and Hans van Ditmarsch (2018). "Model Checking for Coalition Announcement Logic." KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings (pp. 11-23). pdf    

Bibtex citation

@inproceedings{Galimullin//:18a,
author = {Rustam Galimullin and Natasha Alechina and Hans {van Ditmarsch}},
title = {Model Checking for Coalition Announcement Logic},
pages = {11--23},
editor = {Frank Trollmann and Anni{-}Yasmin Turhan},
booktitle = {{KI} 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings},
series = {{LNCS}},
volume = {1117},
publisher = {Springer},
year = {2018},
}
full list