Doomsday Equilibria for Omega-Regular Games

October 15, 2017 in by

by Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
Reference:
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin. Doomsday Equilibria for Omega-Regular Games. In Proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’14), pages 78-97. Volume 8318 of Lecture Notes in Computer Science. Springer, January 2014.
Bibtex Entry:
@string{jan="January"}
@inproceedings{CDFR-vmcai14,
  address =       {San~Diego, California, USA},
  author =        {Chatterjee, Krishnendu and Doyen, Laurent and
                   Filiot, Emmanuel and Raskin, Jean-Fran{c{c}}ois},
  booktitle =     {{P}roceedings of the 15th {I}nternational
                   {C}onference on {V}erification, {M}odel {C}hecking
                   and {A}bstract {I}nterpretation ({VMCAI}'14)},
  editor =        {McMillan Kenneth and Rival, Xavier},
  month =         jan,
  pages =         {78-97},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Doomsday Equilibria for Omega-Regular Games},
  volume =        {8318},
  year =          {2014},
  doi =           {10.1007/978-3-642-54013-4_5},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  CDFR-vmcai14.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {CNRS and ULB},
  casstingpart =  {25},
}