{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T00:37:15Z","timestamp":1768005435509,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540418665","type":"print"},{"value":"9783540453512","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45351-2_8","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T23:27:49Z","timestamp":1194996469000},"page":"49-62","source":"Crossref","is-referenced-by-count":135,"title":["Optimal Paths in Weighted Timed Automata"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Salvatore","family":"La Torre","sequence":"additional","affiliation":[]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"8_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3-540-56922-7_16","volume-title":"Proc. of the Fifth International Conference on Computer-Aided Verification, CAV\u201993","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, and T.A. Henzinger. Computing accumulated delays in real-time system. In Proc. of the Fifth International Conference on Computer-Aided Verification, CAV\u201993, LNCS 697, pages 181\u2013193, 1993."},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"8_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-48983-5_6","volume-title":"Proc. of the 2nd International Workshop on Hybrid Systems: Computation and Control","author":"E. Asarin","year":"1999","unstructured":"E. Asarin and O. Maler. As soon as possible: Time optimal control for timed automata. In Proc. of the 2nd International Workshop on Hybrid Systems: Computation and Control, LNCS 1569, pages 19\u201330, 1999."},{"key":"8_CR4","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. of the 2nd International Workshop on Hybrid Systems","author":"E. Asarin","year":"1995","unstructured":"E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems. In Proc. of the 2nd International Workshop on Hybrid Systems, LNCS 999, pages 1\u201320, 1995."},{"key":"8_CR5","unstructured":"G. Behrman, T. Hune, A. Fehnker, K. Larsen, P. Pettersson, R. Romijn, and F. Vaandrager. Minimum-cost reachability for priced timed automata. In this Volume."},{"key":"8_CR6","unstructured":"A. Church. Logic, arithmetic, and automata. In Proc. of the International Congress of Mathematics, pages 23\u201335, 1962."},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","first-page":"399","volume-title":"Proc. of the 3rd International Conference on Computer Aided Verification","author":"C. Courcoubetis","year":"1991","unstructured":"C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. In Proc. of the 3rd International Conference on Computer Aided Verification, LNCS 575, pages 399\u2013409, 1991."},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0166-218X(81)90026-3","volume":"3","author":"R. M. Karp","year":"1981","unstructured":"R. M. Karp and J. R. Orlin. Parametric shortest path algorithm with an application to cyclic staffing. Discrete Applied Math., 3:37\u201345, 1981.","journal-title":"Discrete Applied Math."},{"issue":"3","key":"8_CR9","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","volume":"35","author":"J. Lygeros","year":"1999","unstructured":"J. Lygeros, C. Tomlin, and S.S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3):349\u2013370, March 1999.","journal-title":"Automatica"},{"key":"8_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"Proc. of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS\u201995","author":"O. Maler","year":"1995","unstructured":"O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Proc. of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS\u201995, LNCS 900, pages 229\u2013242, 1995."},{"key":"8_CR11","unstructured":"P. Nierbert, S. Tripakis, and S. Yovine. Minimum-time reachability for timed automata. In Proc. of the 8-th IEEE Mediterranean Conference on Control and Automation, 2000."},{"key":"8_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-46430-1_34","volume-title":"Proc. of the 3rd International Workshop on Hybrid Systems: Computation and Control, HSCC\u201900","author":"O. Shakernia","year":"2000","unstructured":"O. Shakernia, G. J. Pappas, and S. Sastry. Decidable controller synthesis for classes of linear systems. In Proc. of the 3rd International Workshop on Hybrid Systems: Computation and Control, HSCC\u201900, LNCS 1790, pages 407\u2013420, 2000."},{"key":"8_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60275-5","volume-title":"12th Annual Symposium on Theoretical Aspects of Computer Science, STACS\u201995","author":"W. Thomas","year":"1995","unstructured":"W. Thomas. On the synthesis of strategies in infinite games. In Ernst W. Mayr and Claude Puech, editors, 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS\u201995, LNCS 900, pages 1\u201313, 1995."},{"key":"8_CR14","unstructured":"H. Wong-Toi. The synthesis of controllers for linear hybrid automata. In Proc. of the 36th IEEE CDC, San Diego, CA, December 1997."},{"issue":"2","key":"8_CR15","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1002\/net.3230210206","volume":"21","author":"N. E. Young","year":"1991","unstructured":"N. E. Young, R. Tarjan, and J. Orlin. Faster parametric shortest path and minimum balance algorithms. Networks, 21 (2):205\u2013221, 1991.","journal-title":"Networks"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45351-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T18:04:06Z","timestamp":1538676246000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45351-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418665","9783540453512"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45351-2_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}