{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:26Z","timestamp":1750306886557,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T00:00:00Z","timestamp":1365379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,4,8]]},"DOI":"10.1145\/2461328.2461370","type":"proceedings-article","created":{"date-parts":[[2013,4,9]],"date-time":"2013-04-09T12:19:32Z","timestamp":1365509972000},"page":"273-282","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Quantitative timed simulation functions and refinement metrics for real-time systems"],"prefix":"10.1145","author":[{"given":"Krishnendu","family":"Chatterjee","sequence":"first","affiliation":[{"name":"IST Austria (Institute of Science and Technology, Austria), Klosterneuburg, Austria"}]},{"given":"Vinayak S.","family":"Prabhu","sequence":"additional","affiliation":[{"name":"University of Porto, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2013,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/280\/04630"},{"key":"e_1_3_2_1_3_1","first-page":"135","volume-title":"ATVA, LNCS 6996","author":"Bouyer P.","year":"2011","unstructured":"P. Bouyer , N. Markey , J. Olschewski , and M. Ummels . Measuring permissiveness in parity games: Mean-payoff parity games revisited . In ATVA, LNCS 6996 , pages 135 -- 149 . 2011 . P. Bouyer, N. Markey, J. Olschewski, and M. Ummels. Measuring permissiveness in parity games: Mean-payoff parity games revisited. In ATVA, LNCS 6996, pages 135--149. 2011."},{"key":"e_1_3_2_1_4_1","first-page":"302","volume-title":"CAV, LNCS 663","author":"Cerans K.","year":"1992","unstructured":"K. Cerans . Decidability of bisimulation equivalences for parallel timer processes . In CAV, LNCS 663 , pages 302 -- 315 . 1992 . K. Cerans. Decidability of bisimulation equivalences for parallel timer processes. In CAV, LNCS 663, pages 302--315. 1992."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1881552.1881559"},{"key":"e_1_3_2_1_6_1","first-page":"599","volume-title":"ICALP, LNCS 6199","author":"Chatterjee K.","year":"2010","unstructured":"K. Chatterjee and L. Doyen . Energy parity games . In ICALP, LNCS 6199 , pages 599 -- 610 . Springer , 2010 . K. Chatterjee and L. Doyen. Energy parity games. In ICALP, LNCS 6199, pages 599--610. Springer, 2010."},{"key":"e_1_3_2_1_7_1","first-page":"505","volume-title":"FSTTCS, LIPIcs 8","author":"Chatterjee K.","year":"2010","unstructured":"K. Chatterjee , L. Doyen , T.A. Henzinger , and J.-F. Raskin . Generalized mean-payoff and energy games . In FSTTCS, LIPIcs 8 , pages 505 -- 516 . Schloss Dagstuhl - LZI , 2010 . K. Chatterjee, L. Doyen, T.A. Henzinger, and J.-F. Raskin. Generalized mean-payoff and energy games. In FSTTCS, LIPIcs 8, pages 505--516. Schloss Dagstuhl - LZI, 2010."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.26"},{"key":"e_1_3_2_1_9_1","volume-title":"Quantitative timed simulation functions and refinement metrics for timed systems (full version). CoRR, abs\/1212.6556","author":"Chatterjee K.","year":"2012","unstructured":"K. Chatterjee and V. S. Prabhu . Quantitative timed simulation functions and refinement metrics for timed systems (full version). CoRR, abs\/1212.6556 , 2012 . K. Chatterjee and V. S. Prabhu. Quantitative timed simulation functions and refinement metrics for timed systems (full version). CoRR, abs\/1212.6556, 2012."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240262"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.106"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1991.185392"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0029-9"},{"key":"e_1_3_2_1_15_1","first-page":"116","article-title":"Approximately bisimilar symbolic models for incrementally stable switched systems. Automatic Control","volume":"55","author":"Girard A.","year":"2010","unstructured":"A. Girard , G. Pola , and P. Tabuada . Approximately bisimilar symbolic models for incrementally stable switched systems. Automatic Control , IEEE Transactions , 55 : 116 -- 126 , 2010 . A. Girard, G. Pola, and P. Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. Automatic Control, IEEE Transactions, 55:116--126, 2010.","journal-title":"IEEE Transactions"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_18"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05265-5"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2010.04.001"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2044973.2044989"},{"key":"e_1_3_2_1_20_1","first-page":"200","volume-title":"FoSSaCS, LNCS 2620","author":"Breugel F. v.","year":"2003","unstructured":"F. v. Breugel , M. W. Mislove , J. Ouaknine , and J. Worrell . An intrinsic characterization of approximate probabilistic bisimilarity . In FoSSaCS, LNCS 2620 , pages 200 -- 215 . 2003 . F. v. Breugel, M. W. Mislove, J. Ouaknine, and J. Worrell. An intrinsic characterization of approximate probabilistic bisimilarity. In FoSSaCS, LNCS 2620, pages 200--215. 2003."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987171.1987194"}],"event":{"name":"HSCC '13: Computation and Control","sponsor":["IEEE Signal Processing Society","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Philadelphia Pennsylvania USA","acronym":"HSCC '13"},"container-title":["Proceedings of the 16th international conference on Hybrid systems: computation and control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2461328.2461370","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2461328.2461370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:44Z","timestamp":1750234724000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2461328.2461370"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,8]]},"references-count":21,"alternative-id":["10.1145\/2461328.2461370","10.1145\/2461328"],"URL":"https:\/\/doi.org\/10.1145\/2461328.2461370","relation":{},"subject":[],"published":{"date-parts":[[2013,4,8]]},"assertion":[{"value":"2013-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}