Brian Logan's Publications

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (2020)

By: Natasha Alechina, and Brian Logan

Download Information

Natasha Alechina and Brian Logan (2020). "State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems." In Andreas Blass, Patrick Cegielski, Nachum Dershowitz, Manfred Droste, and Bernd Finkbeiner, editors, Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of his 80th Birthday, Springer (pp. 9-29).

Bibtex citation

@incollection{Alechina/Logan:20a,
author =    "Natasha Alechina and Brian Logan",
title =    "State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems",
booktitle =    "Fields of Logic and Computation {III}: Essays Dedicated to Yuri Gurevich on the Occasion of his 80th Birthday",
publisher =    "Springer",
year =    2020,
editor =    "Andreas Blass and Patrick Cegielski and Nachum Dershowitz and Manfred Droste and Bernd Finkbeiner",
volume =    12180,
series =    "Lecture Notes in Computer Science",
pages =    "9--29",
doi =       "https://doi.org/10.1007/978-3-030-48006-6",
isbn =    "978-3-030-48005-9",
}

---

full list