{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:34:37Z","timestamp":1740720877692,"version":"3.38.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T00:00:00Z","timestamp":1289433600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1007\/s10009-010-0180-8","type":"journal-article","created":{"date-parts":[[2010,11,10]],"date-time":"2010-11-10T15:43:54Z","timestamp":1289403834000},"page":"553-569","source":"Crossref","is-referenced-by-count":2,"title":["Average-price-per-reward games on hybrid automata with strong resets"],"prefix":"10.1007","volume":"13","author":[{"given":"Micha\u0142","family":"Rutkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ranko","family":"Lazi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcin","family":"Jurdzi\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,11,11]]},"reference":[{"key":"180_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur R., Courcoubetis C., Henzinger T.A., Ho P.H., Nicollin X., Olivero A., Sifakis J., Yovine S.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138, 3\u201334 (1995)","journal-title":"Theoret. Comput. Sci."},{"key":"180_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur R., Dill D.: A theory of timed automata. Theoret. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"180_CR3","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: LICS 1996, pp. 278\u2013292. IEEE Computer Society Press, CA (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"180_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"Lafferriere G., Pappas G.J., Sastry S.: O-minimal hybrid systems. Math. Contr. Signal. Syst. 13, 1\u201321 (2000)","journal-title":"Math. Contr. Signal. Syst."},{"key":"180_CR5","doi-asserted-by":"crossref","unstructured":"Gentilini, R.: Reachability problems on extended o-minimal hybrid automata. In: FORMATS\u201905, Volume 3829 of LNCS, pp. 162\u2013176. Springer, Berlin (2005)","DOI":"10.1007\/11603009_14"},{"key":"180_CR6","doi-asserted-by":"crossref","unstructured":"Bouyer, P., Brihaye, T., Jurdzi\u0144ski, M., Lazi\u0107, R., Rutkowski, M.: Average-price and reachability-price games on hybrid automata with strong resets. In: FORMATS\u201908, Volume 5215 of LNCS, pp. 63\u201377. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85778-5_6"},{"key":"180_CR7","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/j.jco.2004.09.003","volume":"21","author":"T. Brihaye","year":"2005","unstructured":"Brihaye T., Michaux C.: On the expressiveness and decidability of o-minimal hybrid systems. J. Complexity 21, 447\u2013478 (2005)","journal-title":"J. Complexity"},{"key":"180_CR8","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/s10703-007-0043-4","volume":"32","author":"P. Bouyer","year":"2008","unstructured":"Bouyer P., Brinksma E., Larsen K.G.: Optimal infinite scheduling for multi-priced timed automata. Formal Methods Syst. Design 32, 2\u201323 (2008)","journal-title":"Formal Methods Syst. Design"},{"key":"180_CR9","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1016\/j.tcs.2005.11.018","volume":"354","author":"Y. Abdeddam","year":"2006","unstructured":"Abdeddam Y., Asarin E., Maler O.: Scheduling with timed automata. Theoret. Comput. Sci. 354, 272\u2013300 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"180_CR10","unstructured":"Church, A.: Logic, arithmetic and automata. In: Proceedings of the International Congress of Mathematicians, pp. 23\u201335 (1962)"},{"key":"180_CR11","doi-asserted-by":"crossref","unstructured":"Thomas, W.: On the synthesis of strategies in infinite games. In: STACS\u201995, Volume 900 of LNCS, pp. 1\u201313. Springer, Berlin (2005)","DOI":"10.1007\/3-540-59042-0_57"},{"key":"180_CR12","doi-asserted-by":"crossref","unstructured":"Bouyer, P., Brihaye, T., Chevalier, F.: Control in o-minimal hybrid systems. In: LICS\u201906, pp. 367\u2013378. IEEE Computer Society Press, CA (2006)","DOI":"10.1109\/LICS.2006.22"},{"key":"180_CR13","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1016\/j.apal.2009.07.014","volume":"161","author":"P. Bouyer","year":"2009","unstructured":"Bouyer P., Brihaye T., Chevalier F.: Weighted o-minimal hybrid systems. Ann. Pure Appl. Logics 161, 268\u2013288 (2009)","journal-title":"Ann. Pure Appl. Logics"},{"key":"180_CR14","doi-asserted-by":"crossref","unstructured":"Jurdzi\u0144ski, M., Trivedi, A.: Reachability-time games on timed automata. In: ICALP\u201907, Volume 4596 of LNCS, pp. 838\u2013849. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73420-8_72"},{"key":"180_CR15","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/malq.200510024","volume":"52","author":"T. Brihaye","year":"2006","unstructured":"Brihaye T.: A note on the undecidability of the reachability problem for o-minimal dynamical systems. Math. Logic Quart. 52, 165\u2013170 (2006)","journal-title":"Math. Logic Quart."},{"key":"180_CR16","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"Tarski A.: A Decision Method for Elementary Algebra and Geometry. University of California Press, CA (1951)"},{"key":"180_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch K.: Computable Analysis. Springer, Berlin (2000)"},{"key":"180_CR18","unstructured":"Meer, K., Michaux, C.: A survey on real structural complexity theory. Bull. Belgian Math. Soc. 4, 113\u2013148 (1997) (Journ\u00e9es Montoises (Mons, 1994))"},{"key":"180_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","volume":"21","author":"L. Blum","year":"1989","unstructured":"Blum L., Shub M., Smale S.: On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Am. Math. Soc. Bull. New Ser. 21, 1\u201346 (1989)","journal-title":"Am. Math. Soc. Bull. New Ser."},{"key":"180_CR20","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes, Discrete Stochastic Dynamic Programming","author":"M.L. Puterman","year":"1994","unstructured":"Puterman M.L.: Markov Decision Processes, Discrete Stochastic Dynamic Programming. Wiley, New York (1994)"},{"key":"180_CR21","doi-asserted-by":"crossref","unstructured":"Vladimerou, V., Prabhakar, P., Viswanathan, M., Dullerud, G.: Stormed hybrid systems. In: ALP\u201910. Volume 5126 of LNCS, pp. 136\u2013147. Springer, Berlin (2010)","DOI":"10.1007\/978-3-540-70583-3_12"},{"key":"180_CR22","doi-asserted-by":"crossref","unstructured":"Vladimerou, V., Prabhakar, P., Viswanathan, M., Dullerud, G.: Stormed hybrid games. In: HSCC\u201909. Volume 5469 of LNCS, pp. 480\u2013484. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-00602-9_39"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-010-0180-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-010-0180-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-010-0180-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T18:47:08Z","timestamp":1740682028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-010-0180-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,11]]},"references-count":22,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2011,11]]}},"alternative-id":["180"],"URL":"https:\/\/doi.org\/10.1007\/s10009-010-0180-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2010,11,11]]}}}