Verifying Systems of Resource-Bounded Agents (2016)
By: Natasha Alechina, and Brian Logan
Download Information
Natasha Alechina and Brian Logan (2016). "Verifying Systems of Resource-Bounded Agents." Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings (pp. 3-12).
Bibtex citation
@inproceedings{Alechina/Logan:16a,
author = "Natasha Alechina and Brian Logan",
title = "Verifying Systems of Resource-Bounded Agents",
booktitle = "Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings",
editor = "Arnold Beckmann and Laurent Bienvenu and Nata{\v{s}}a Jonoska",
year = 2016,
pages = "3--12",
publisher = "Springer",
isbn = "978-3-319-40189-8",
doi = "10.1007/978-3-319-40189-8\_1",
} full list
