Permissive strategies in timed automata and games

December 10, 2017 in by

by Patricia Bouyer, Erwin Fang, Nicolas Markey
Reference:
Patricia Bouyer, Erwin Fang, Nicolas Markey. Permissive strategies in timed automata and games. In Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS’15), pages 263-277. September 2015.
Bibtex Entry:
@string{sep="September"}
@inproceedings{BFM-avocs15,
  address =       {Edinburgh, UK},
  author =        {Bouyer, Patricia and Fang, Erwin and Markey, Nicolas},
  booktitle =     {{P}roceedings of the 15th {I}nternational {W}orkshop
                   on {A}utomated {V}erification of {C}ritical {S}ystems
                   ({AVoCS}'15)},
  editor =        {Grov, Gudmund and Ireland, Andrew},
  month =         sep,
  pages =         {263-277},
  title =         {Permissive strategies in timed automata and games},
  year =          {2015},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BFM-avocs15.pdf},
  category =      {othc},
  wps =           {wp3},
  partners =      {CNRS},
  casstingpart =  {100},
}