Brian Logan's Publications

Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources (2015)

By: Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Franco Raimondi

Download Information

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Franco Raimondi (2015). "Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources." CoRR, abs/1504.06766.  

Bibtex citation

@article{Alechina//:15c,
author =    {Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Franco Raimondi},
title =    {Technical Report: Model-Checking for Resource-Bounded {ATL} with Production and Consumption of Resources},
journal =    {CoRR},
volume =    {abs/1504.06766},
year =    2015,
url =       {http://arxiv.org/abs/1504.06766},
}

full list