Brian Logan's Publications

An Outline of Parameterised Resource-Bounded ATL (2020)

By: Natasha Alechina, Stephane Demri, and Brian Logan

Download Information

Natasha Alechina, Stephane Demri, and Brian Logan (2020). "An Outline of Parameterised Resource-Bounded ATL." Proceedings of the 10th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2020).

Bibtex citation

@inproceedings{Alechina//:20b,
author =    "Natasha Alechina and Stephane Demri and Brian Logan",
title =    "An Outline of Parameterised Resource-Bounded ATL",
booktitle =    "Proceedings of the 10th Workshop on Logical Aspects of Multi-Agent Systems ({LAMAS} 2020)",
year =    2020,
editor =    "Bastien Maubert and Aniello Murano and Sasha Rubin",
address =    "Auckland, New Zealand",
month =    "May",
}

---

full list