@inproceedings{CassezDLLR07,
  author    = {Franck Cassez and
               Alexandre David and
               Kim Guldstrand Larsen and
               Didier Lime and
               Jean{-}Fran{\c{c}}ois Raskin},
  title     = {Timed Control with Observation Based and Stuttering Invariant Strategies},
  booktitle = {Automated Technology for Verification and Analysis, 5th International
               Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
  pages     = {192--206},
  year      = {2007},
          Type = {B - International Conferences},

  editor    = {Kedar S. Namjoshi and
               Tomohiro Yoneda and
               Teruo Higashino and
               Yoshio Okamura},
   series    = {Lecture Notes in Computer Science},
  volume    = {4762},
  publisher = {Springer},
  urlpaper  = {papers/atva-07.pdf},
  url_link       = {http://dx.doi.org/10.1007/978-3-540-75596-8_15},
  doi       = {10.1007/978-3-540-75596-8_15},
  abstract = {In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be based on a finite collection of observations and must be stuttering invariant in the sense that repeated identical observations will not change the strategy. We provide a constructive transformation to equivalent finite games with perfect infor- mation, giving decidability as well as allowing for an efficient on-the-fly forward algorithm. We report on application of an initial experimental implementation.},
  keywords = {control, timed automata, partial observation}
}

{"_id":"ojK4sTufwhpDD3Keq","bibbaseid":"cassez-david-larsen-lime-raskin-timedcontrolwithobservationbasedandstutteringinvariantstrategies-2007","author_short":["Cassez, F.","David, A.","Larsen, K. G.","Lime, D.","Raskin, J."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Alexandre"],"propositions":[],"lastnames":["David"],"suffixes":[]},{"firstnames":["Kim","Guldstrand"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Didier"],"propositions":[],"lastnames":["Lime"],"suffixes":[]},{"firstnames":["Jean-François"],"propositions":[],"lastnames":["Raskin"],"suffixes":[]}],"title":"Timed Control with Observation Based and Stuttering Invariant Strategies","booktitle":"Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings","pages":"192–206","year":"2007","editor":[{"firstnames":["Kedar","S."],"propositions":[],"lastnames":["Namjoshi"],"suffixes":[]},{"firstnames":["Tomohiro"],"propositions":[],"lastnames":["Yoneda"],"suffixes":[]},{"firstnames":["Teruo"],"propositions":[],"lastnames":["Higashino"],"suffixes":[]},{"firstnames":["Yoshio"],"propositions":[],"lastnames":["Okamura"],"suffixes":[]}],"series":"Lecture Notes in Computer Science","volume":"4762","publisher":"Springer","urlpaper":"papers/atva-07.pdf","url_link":"http://dx.doi.org/10.1007/978-3-540-75596-8_15","doi":"10.1007/978-3-540-75596-8_15","abstract":"In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be based on a finite collection of observations and must be stuttering invariant in the sense that repeated identical observations will not change the strategy. We provide a constructive transformation to equivalent finite games with perfect infor- mation, giving decidability as well as allowing for an efficient on-the-fly forward algorithm. We report on application of an initial experimental implementation.","keywords":"control, timed automata, partial observation","bibtex":"@inproceedings{CassezDLLR07,\n author = {Franck Cassez and\n Alexandre David and\n Kim Guldstrand Larsen and\n Didier Lime and\n Jean{-}Fran{\\c{c}}ois Raskin},\n title = {Timed Control with Observation Based and Stuttering Invariant Strategies},\n booktitle = {Automated Technology for Verification and Analysis, 5th International\n Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},\n pages = {192--206},\n year = {2007},\n Type = {B - International Conferences},\n\n editor = {Kedar S. Namjoshi and\n Tomohiro Yoneda and\n Teruo Higashino and\n Yoshio Okamura},\n series = {Lecture Notes in Computer Science},\n volume = {4762},\n publisher = {Springer},\n urlpaper = {papers/atva-07.pdf},\n url_link = {http://dx.doi.org/10.1007/978-3-540-75596-8_15},\n doi = {10.1007/978-3-540-75596-8_15},\n abstract = {In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be based on a finite collection of observations and must be stuttering invariant in the sense that repeated identical observations will not change the strategy. We provide a constructive transformation to equivalent finite games with perfect infor- mation, giving decidability as well as allowing for an efficient on-the-fly forward algorithm. We report on application of an initial experimental implementation.},\n keywords = {control, timed automata, partial observation}\n}\n\n\n","author_short":["Cassez, F.","David, A.","Larsen, K. G.","Lime, D.","Raskin, J."],"editor_short":["Namjoshi, K. S.","Yoneda, T.","Higashino, T.","Okamura, Y."],"key":"CassezDLLR07","id":"CassezDLLR07","bibbaseid":"cassez-david-larsen-lime-raskin-timedcontrolwithobservationbasedandstutteringinvariantstrategies-2007","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/atva-07.pdf"," link":"http://dx.doi.org/10.1007/978-3-540-75596-8_15"},"keyword":["control","timed automata","partial observation"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":["control","timed automata","partial observation"],"search_terms":["timed","control","observation","based","stuttering","invariant","strategies","cassez","david","larsen","lime","raskin"],"title":"Timed Control with Observation Based and Stuttering Invariant Strategies","year":2007}