Augmenting ATL with strategy contexts

December 10, 2017 in by

by François Laroussinie, Nicolas Markey
Reference:
François Laroussinie, Nicolas Markey. Augmenting ATL with strategy contexts. In Information and Computation 245:98-123. Elsevier, December 2015.
Bibtex Entry:
@string{dec="December"}
@article{LM-ic15,
  author =        {Laroussinie, Fran{c c}ois and Markey, Nicolas},
  journal =       {Information and Computation},
  month =         dec,
  pages =         {98-123},
  publisher =     {Elsevier},
  title =         {Augmenting {ATL} with strategy contexts},
  volume =        {245},
  year =          {2015},
  doi =           {10.1016/j.ic.2014.12.020},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  LM-ic15.pdf},
  category =      {jour},
  wps =           {wp1},
  partners =      {CNRS},
  casstingpart =  {75},
}