Synthesising Succinct Strategies in Safety Games

October 15, 2017 in by

by Gilles Geeraerts, Joël Goossens, Amélie Stainer
Reference:
Gilles Geeraerts, Joël Goossens, Amélie Stainer. Synthesising Succinct Strategies in Safety Games. In Proceedings of the 8th Workshop on Reachability Problems in Computational Models (RP’14), pages 98-111. Volume 8762 of Lecture Notes in Computer Science. Springer, September 2014.
Bibtex Entry:
@string{sep="September"}
@inproceedings{GGS-rp14,
  address =       {Oxford, UK},
  author =        {Gilles Geeraerts and Jo{"e}l Goossens and
                   Am{'e}lie Stainer},
  booktitle =     {{P}roceedings of the 8th {W}orkshop on {R}eachability
                   {P}roblems in {C}omputational {M}odels ({RP}'14)},
  editor =        {Ouaknine, Jo{"e}l and Potapov, Igor and
                   Worrell, James},
  month =         sep,
  pages =         {98-111},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Synthesising Succinct Strategies in Safety Games},
  volume =        {8762},
  year =          {2014},
  doi =           {10.1007/978-3-319-11439-2_8},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  GGS-rp14.pdf},
  category =      {conf},
  wps =           {wp2 and wp3},
  partners =      {ULB},
  casstingpart =  {50},
}