Symmetry Reduction in Infinite Games with Finite Branching

December 11, 2017 in by

by Nicolas Markey, Steen Vester
Reference:
Nicolas Markey, Steen Vester. Symmetry Reduction in Infinite Games with Finite Branching. In Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA’14), pages 281-296. Volume 8837 of Lecture Notes in Computer Science. Springer, November 2014.
Bibtex Entry:
@string{nov="November"}
@inproceedings{MV-atva14,
  address =       {Sidney, Australia},
  author =        {Markey, Nicolas and Vester, Steen},
  booktitle =     {{P}roceedings of the 12th {I}nternational {S}ymposium
                   on {A}utomated {T}echnology for {V}erification and
                   {A}nalysis ({ATVA}'14)},
  editor =        {Cassez, Franck and Raskin, Jean-Fran{c{c}}ois},
  month =         nov,
  pages =         {281-296},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Symmetry Reduction in Infinite Games with Finite
                   Branching},
  volume =        {8837},
  year =          {2014},
  doi =           {10.1007/978-3-319-11936-6_21},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  MV-atva14.pdf},
  category =      {conf},
  wps =           {wp2},
  partners =      {CNRS},
  casstingpart =  {100},
}