Alternating-time temporal logic with resource bounds (2018)
By: Nguyen, Hoang Nga, Natasha Alechina, Brian Logan, and Abdur Rakib
Download Information
Nguyen, Hoang Nga, Natasha Alechina, Brian Logan, and Abdur Rakib (2018). "Alternating-time temporal logic with resource bounds." Journal of Logic and Computation, 28(4), 631-663.
Bibtex citation
@article{Nguyen//:15a,
author = {Nguyen, Hoang Nga and Natasha Alechina and Brian Logan and Abdur Rakib},
title = {Alternating-time temporal logic with resource bounds},
journal = {Journal of Logic and Computation},
year = 2018,
volume = {28},
number = {4},
pages = {631--663},
doi = {doi:10.1093/logcom/exv034},
} full list