{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,27]],"date-time":"2025-12-27T21:09:17Z","timestamp":1766869757547},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407864"},{"type":"electronic","value":"9783642407871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_23","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T19:18:35Z","timestamp":1379531915000},"page":"346-351","source":"Crossref","is-referenced-by-count":2,"title":["Runtime Monitoring of Temporal Logic Properties in a Platform Game"],"prefix":"10.1007","author":[{"given":"Simon","family":"Varvaressos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominic","family":"Vaillancourt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Gaboury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Blondin Mass\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Hall\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Worst videogame bugs of all time: From game-ending glitches to data-destroying nightmares, \n                    \n                      http:\/\/bit.ly\/GLySq"},{"key":"23_CR2","unstructured":"Biscotti, F., Blau, B., Lovelock, J.-D., Nguyen, T.H., Erensen, J., Verma, S., Liu, V.K.: Market trends: Gaming ecosystem. Technical report, Gartner Group. Report G00212724 (2011)"},{"issue":"2","key":"23_CR3","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"S. Hall\u00e9","year":"2012","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Services Computing\u00a05(2), 192\u2013206 (2012)","journal-title":"IEEE Trans. Services Computing"},{"key":"23_CR4","unstructured":"Hamann, L., Gogolla, M., Kuhlmann, M.: OCL-based runtime monitoring of JVM hosted applications. ECEASST\u00a044 (2011)"},{"issue":"1","key":"23_CR5","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/TCIAIG.2012.2188528","volume":"4","author":"S. Karakovskiy","year":"2012","unstructured":"Karakovskiy, S., Togelius, J.: The Mario AI benchmark and competitions. IEEE Trans. Comput. Intellig. and AI in Games\u00a04(1), 55\u201367 (2012)","journal-title":"IEEE Trans. Comput. Intellig. and AI in Games"},{"issue":"10","key":"23_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/383845.383858","volume":"44","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: Getting started with AspectJ. Commun. ACM\u00a044(10), 59\u201365 (2001)","journal-title":"Commun. ACM"},{"issue":"5","key":"23_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/MS.2011.87","volume":"28","author":"C. Lewis","year":"2011","unstructured":"Lewis, C., Whitehead, J.: Repairing games at runtime or, how we learned to stop worrying and love emergence. IEEE Software\u00a028(5), 53\u201359 (2011)","journal-title":"IEEE Software"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40787-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:21:14Z","timestamp":1558077674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}