@inproceedings{cassez-formats-07,
  author    = {Franck Cassez},
  title     = {Efficient On-the-Fly Algorithms for Partially Observable Timed Games},
  booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
               {FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
  pages     = {5--24},
  year      = {2007},
  editor    = {Jean{-}Fran{\c{c}}ois Raskin and
               P. S. Thiagarajan},
  series    = {Lecture Notes in Computer Science},
  volume    = {4763},
          Type = {B - International Conferences},

  publisher = {Springer},
  urlpaper = {papers/formats-07.pdf},
  urlslides = {papers/formats-07-slides.pdf},
  url_link       = {http://dx.doi.org/10.1007/978-3-540-75454-1_3},
  doi       = {10.1007/978-3-540-75454-1_3},
  abstract = { In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and then present an efficient on-the-fly algorithm for reachability games and its extension to partially observable timed games.},
  keywords = {control, timed automata}
}

{"_id":"MMgJK5aoBZtrB9ppE","bibbaseid":"cassez-efficientontheflyalgorithmsforpartiallyobservabletimedgames-2007","author_short":["Cassez, F."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]}],"title":"Efficient On-the-Fly Algorithms for Partially Observable Timed Games","booktitle":"Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings","pages":"5–24","year":"2007","editor":[{"firstnames":["Jean-François"],"propositions":[],"lastnames":["Raskin"],"suffixes":[]},{"firstnames":["P.","S."],"propositions":[],"lastnames":["Thiagarajan"],"suffixes":[]}],"series":"Lecture Notes in Computer Science","volume":"4763","publisher":"Springer","urlpaper":"papers/formats-07.pdf","urlslides":"papers/formats-07-slides.pdf","url_link":"http://dx.doi.org/10.1007/978-3-540-75454-1_3","doi":"10.1007/978-3-540-75454-1_3","abstract":"In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and then present an efficient on-the-fly algorithm for reachability games and its extension to partially observable timed games.","keywords":"control, timed automata","bibtex":"@inproceedings{cassez-formats-07,\n author = {Franck Cassez},\n title = {Efficient On-the-Fly Algorithms for Partially Observable Timed Games},\n booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,\n {FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},\n pages = {5--24},\n year = {2007},\n editor = {Jean{-}Fran{\\c{c}}ois Raskin and\n P. S. Thiagarajan},\n series = {Lecture Notes in Computer Science},\n volume = {4763},\n Type = {B - International Conferences},\n\n publisher = {Springer},\n urlpaper = {papers/formats-07.pdf},\n urlslides = {papers/formats-07-slides.pdf},\n url_link = {http://dx.doi.org/10.1007/978-3-540-75454-1_3},\n doi = {10.1007/978-3-540-75454-1_3},\n abstract = { In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and then present an efficient on-the-fly algorithm for reachability games and its extension to partially observable timed games.},\n keywords = {control, timed automata}\n}\n\n","author_short":["Cassez, F."],"editor_short":["Raskin, J.","Thiagarajan, P. S."],"key":"cassez-formats-07","id":"cassez-formats-07","bibbaseid":"cassez-efficientontheflyalgorithmsforpartiallyobservabletimedgames-2007","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/formats-07.pdf","Slides":"http://science.mq.edu.au/~fcassez/bib/papers/formats-07-slides.pdf"," link":"http://dx.doi.org/10.1007/978-3-540-75454-1_3"},"keyword":["control","timed automata"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":["control","timed automata"],"search_terms":["efficient","fly","algorithms","partially","observable","timed","games","cassez"],"title":"Efficient On-the-Fly Algorithms for Partially Observable Timed Games","year":2007}