Probabilistic Robust Timed Games

December 13, 2017 in by

by Youssouf Oualhadj, Pierre-Alain Reynier, Ocan Sankur
Reference:
Youssouf Oualhadj, Pierre-Alain Reynier, Ocan Sankur. Probabilistic Robust Timed Games. In Proceedings of the 25th International Conference on Concurrency Theory (CONCUR’14), pages 203-217. Volume 8704 of Lecture Notes in Computer Science. Springer, September 2014.
Bibtex Entry:
@string{sep="September"}
@inproceedings{ORS-concur14,
  address =       {Rome, Italy},
  author =        {Oualhadj, Youssouf and Reynier, Pierre-Alain and
                   Sankur, Ocan},
  booktitle =     {{P}roceedings of the 25th {I}nternational
                   {C}onference on {C}oncurrency {T}heory ({CONCUR}'14)},
  editor =        {Baldan, Paolo and Gorla, Daniele},
  month =         sep,
  pages =         {203-217},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Probabilistic Robust Timed Games},
  volume =        {8704},
  year =          {2014},
  doi =           {10.1007/978-3-662-44584-6_15},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  ORS-concur14.pdf},
  category =      {conf},
  wps =           {wp3},
  partners =      {UMONS and ULB},
  casstingpart =  {50},
}