Non-Zero Sum Games for Reactive Synthesis

October 16, 2017 in by

by Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
Reference:
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas. Non-Zero Sum Games for Reactive Synthesis. In Proceedings of the 10th International Conference on Language and Automata Theory and Applications (LATA’16), pages 3-23. Volume 9618 of Lecture Notes in Computer Science. Springer, March 2016.
Bibtex Entry:
@string{mar="March"}
@inproceedings{BCHPRRS-lata16,
  address =       {Prague, Czech Republic},
  author =        {Romain Brenguier and Lorenzo Clemente and Paul Hunter and
                   Guillermo A. P{'e}rez and Mickael Randour and
                   Jean-Fran{c{c}}ois Raskin and Ocan Sankur and
                   Mathieu Sassolas},
  booktitle =     {{P}roceedings of the 10th {I}nternational
                   {C}onference on {L}anguage and {A}utomata {T}heory
                   and {A}pplications ({LATA}'16)},
  month =         mar,
  pages =         {3-23},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Non-Zero Sum Games for Reactive Synthesis},
  volume =        {9618},
  year =          {2016},
  doi =           {10.1007/978-3-319-30000-9_1},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BCHPRRS-lata16.pdf},
  category =      {conf},
  wps =           {wp1 and wp2},
  partners =      {CNRS and ULB},
  casstingpart =  {50},
}