As Soon as Possible: Time Optimal Control for Timed Automata. Asarin, E. and Maler, O. In Proceedings of Hybrid Systems (HSCC), pages 19-30, 1999.
As Soon as Possible: Time Optimal Control for Timed Automata [link]Paper  bibtex   
@inproceedings{ dblp4072436,
  title = {As Soon as Possible: Time Optimal Control for Timed Automata},
  author = {Eugene Asarin and Oded Maler},
  author_short = {Asarin, E. and Maler, O.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1999},
  key = {dblp4072436},
  id = {dblp4072436},
  biburl = {http://www.dblp.org/rec/bibtex/conf/hybrid/AsarinM99},
  url = {http://dx.doi.org/10.1007/3-540-48983-5_6},
  conference = {HSCC},
  pages = {19-30},
  text = {HSCC 1999:19-30},
  booktitle = {Proceedings of Hybrid Systems (HSCC)}
}
Downloads: 0