Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

December 16, 2017 in by

by Jonas F. Jensen, Kim G. Larsen, Jiří Srba
Reference:
Jonas F. Jensen, Kim G. Larsen, Jiří Srba. Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. In Proceedings of the 23rd International Symposium on Model-Cherking Software (SPIN’16), pages 129-146. Volume 9641 of Lecture Notes in Computer Science. Springer, April 2016.
Bibtex Entry:
@string{apr="April"}
@inproceedings{JLS-spin16,
  address =       {Eindhoven, The~Netherlands},
  author =        {Jensen, Jonas F. and Larsen, Kim G. and
                   Srba, Ji{v{r}}{'i}},
  booktitle =     {{P}roceedings of the 23rd {I}nternational {S}ymposium
                   on {M}odel-{C}herking {S}oftware ({SPIN}'16)},
  editor =        {Bosnacki, Dragan and Wijs, Anton},
  month =         apr,
  pages =         {129-146},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Real-Time Strategy Synthesis for Timed-Arc {P}etri
                   Net Games via Discretization},
  volume =        {9641},
  year =          {2016},
  doi =           {10.1007/978-3-319-32582-8_9},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  JLS-spin16.pdf},
  category =      {conf},
  wps =           {wp1 and wp2},
  partners =      {AAU},
  casstingpart =  {100},
}