Minimum-cost reachability for priced timed automata (2001) [18 citations — 5 self]
Download:
|
|
by G. Behrmann, A. Fehnker, T. S. Hune, K. G. Larsen, P. Pettersson, J. M. T. Romijn, F. W. Va, Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn
http://www.cs.kun.nl/research//reports/full/CSI-R0109.ps.Z
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Behrmann01minimum-costreachability,author = {G. Behrmann and A. Fehnker and T. S. Hune and K. G. Larsen and P. Pettersson and J. M. T. Romijn and F. W. Va and Gerd Behrmann and Ansgar Fehnker and Thomas Hune and Kim Larsen and Paul Pettersson and Judi Romijn},
title = {Minimum-cost reachability for priced timed automata},
booktitle = {},
year = {2001},
pages = {147--161},
publisher = {Springer}
}
Years of Citing Articles
Abstract:
3, and Frits Vaandrager 3 1
Citations
| 351 | Automata for modeling real-time systems – Alur, Dill - 1990 |
| 43 | As soon as possible: Time optimal control for timed automata – Asarin, Maler |
| 40 | Computing accumulated delays in real-time systems – Alur, Courcoubetis, et al. - 1993 |
| 1 | is better than well: On ef veri of in systems – Abdulla, Nylen, et al. |
