Permissive multi-strategies in timed games

December 16, 2017 in by

by Erwin Fang
Reference:
Erwin Fang. Permissive multi-strategies in timed games. Research report LSV-14-04, Laboratoire Spécification et Vérification, ENS Cachan, France, March 2014. (36 pages)
Bibtex Entry:
@string{mar="March"}
@techreport{rr-lsv-14-04,
  author =        {Fang, Erwin},
  institution =   {Laboratoire Sp{'e}cification et V{'e}rification,
                   ENS Cachan, France},
  month =         mar,
  note =          {36~pages},
  number =        {LSV-14-04},
  type =          {Research report},
  title =         {Permissive multi-strategies in timed games},
  year =          {2014},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  rr-lsv-2014-04.pdf},
  category =      {tech},
  wps =           {wp3},
  partners =      {CNRS and RWTH},
  casstingpart =  {100},
}