{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:37:16Z","timestamp":1743046636669,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319082349"},{"type":"electronic","value":"9783319082349"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-08234-9_298-1","type":"book-chapter","created":{"date-parts":[[2019,1,9]],"date-time":"2019-01-09T01:35:16Z","timestamp":1546997716000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Timed Automata for Video Games and Interaction"],"prefix":"10.1007","author":[{"given":"Jaime","family":"Arias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rapha\u00ebl","family":"Marczak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Myriam","family":"Desainte-Catherine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,2]]},"reference":[{"unstructured":"Aarseth, E.: Computer game studies, year one. Game Stud. 1(1), (2001). http:\/\/gamestudies.org\/0101\/editorial.html","key":"298-1_CR1"},{"issue":"2","key":"298-1_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994). https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"publisher","unstructured":"Arias, J., Desainte-Catherine, M., Rueda, C.: Modelling data processing for interactive scores using coloured petri nets. In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23\u201327, 2014, pp. 186\u2013195. IEEE Computer Society (2014). https:\/\/doi.org\/10.1109\/ACSD.2014.23","key":"298-1_CR3","DOI":"10.1109\/ACSD.2014.23"},{"key":"298-1_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-319-20603-5_3","volume-title":"Mathematics and Computation in Music","author":"Jaime Arias","year":"2015","unstructured":"Arias, J., Desainte-Catherine, M., Olarte, C., Rueda, C.: Foundations for reliable and flexible interactive multimedia scores. In: Collins, T., Meredith, D., Volk, A. (eds.) Mathematics and Computation in Music \u2013 5th International Conference, MCM 2015, London, UK, June 22\u201325, 2015, Proceedings, volume 9110 of Lecture Notes in Computer Science, pp. 29\u201341. Springer (2015a). https:\/\/doi.org\/10.1007\/978-3-319-20603-5_3"},{"doi-asserted-by":"publisher","unstructured":"Arias, J., Desainte-Catherine, M., Rueda, C.: A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios, pp. 140\u2013151. IEEE (2015b). https:\/\/doi.org\/10.1109\/ACSD.2015.8","key":"298-1_CR5","DOI":"10.1109\/ACSD.2015.8"},{"unstructured":"Arias, J., Desainte-Catherine, M., Dubnov, S.: Automatic construction of interactive machine improvisation scenarios from audio recordings. In: 4th International Workshop on Musical Metacreation, MUME 2016, Paris (2016). ISBN 978-0-86491-397-5. http:\/\/musicalmetacreation.org\/buddydrive\/file\/arias_automatic_construction\/","key":"298-1_CR6"},{"issue":"1","key":"298-1_CR7","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1080\/09298215.2016.1248444","volume":"46","author":"J Arias","year":"2017","unstructured":"Arias, J., Celerier, J.-M., Desainte-Catherine, M.: Authoring and automatic verification of interactive multimedia scores. J. New Music Res. 46(1), 15\u201333 (2017). https:\/\/doi.org\/10.1080\/09298215.2016.1248444","journal-title":"J. New Music Res."},{"doi-asserted-by":"crossref","unstructured":"Calleja, G.: In-Game: From Immersion to Incorporation, 1st edn. The MIT Press (2011). ISBN 0262015463, 9780262015462","key":"298-1_CR8","DOI":"10.7551\/mitpress\/8429.001.0001"},{"unstructured":"Celerier, J.-M., Baltazar, P., Bossut, C., Vuaille, N., Couturier, J.-M., Desainte-Catherine, M.: OSSIA: Towards a unified interface for scoring time and interaction. In: Proceedings of the First International Conference on Technologies for Music Notation and Representation, TENOR 2015, pp. 81\u201390, Paris (2015). ISBN 978-2-9552905-0-7. http:\/\/tenor2015.tenor-conference.org\/papers\/13-Celerier-OSSIA.pdf","key":"298-1_CR9"},{"key":"298-1_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8","volume-title":"Handbook of Model Checking","year":"2018","unstructured":"Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (eds.): Handbook of Model Checking. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8"},{"issue":"4","key":"298-1_CR11","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Mikucionis, M., Poulsen, D.B.: Uppaal SMC tutorial. STTT. 17(4), 397\u2013415 (2015). https:\/\/doi.org\/10.1007\/s10009-014-0361-y","journal-title":"STTT"},{"issue":"2","key":"298-1_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1162\/COMJ_a_00179","volume":"37","author":"M Desainte-Catherine","year":"2013","unstructured":"Desainte-Catherine, M., Allombert, A., Assayag, G.: Towards a hybrid temporal paradigm for musical composition and performance: The case of musical interpretation. Comput. Music. J. 37(2), 61\u201372 (2013). https:\/\/doi.org\/10.1162\/COMJ_a_00179","journal-title":"Comput. Music. J."},{"key":"298-1_CR13","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1145\/1621841.1621878","volume-title":"Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era, MindTrek \u201909","author":"A Drachen","year":"2009","unstructured":"Drachen, A., Canossa, A.: Towards gameplay analysis via gameplay metrics. In: Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era, MindTrek \u201909, pp. 202\u2013209. ACM. ISBN 978-1-60558-633-5, New York (2009). https:\/\/doi.org\/10.1145\/1621841.1621878"},{"doi-asserted-by":"crossref","unstructured":"Dulaurans, M., Marczak, R.: Quand le jeu vido devient affaire de clan: un clash royale entre incitation et inhibition. Revue Franaise des Sciences de l\u2019Information et de la Communication. 13, (2018). https:\/\/journals.openedition.org\/rfsic\/3610","key":"298-1_CR14","DOI":"10.4000\/rfsic.3610"},{"issue":"4","key":"298-1_CR15","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s10626-013-0166-2","volume":"23","author":"J Echeveste","year":"2013","unstructured":"Echeveste, J., Cont, A., Giavitto, J.-L., Jacquemard, F.: Operational semantics of a domain specific language for real time musiciancomputer interaction. Discrete Event Dyn. Syst. 23(4), 343\u2013383 (2013). https:\/\/doi.org\/10.1007\/s10626-013-0166-2","journal-title":"Discrete Event Dyn. Syst."},{"doi-asserted-by":"publisher","unstructured":"Fahrenberg, U., Larsen, K.G., Thrane, C.R.: Verification, performance analysis and controller synthesis for real-time systems. In: Fundamentals of Software Engineering, vol. 5961, pp. 34\u201361. Springer, Berlin\/Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11623-02","key":"298-1_CR16","DOI":"10.1007\/978-3-642-11623-02"},{"issue":"2","key":"298-1_CR17","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1080\/09298215.2016.1173707","volume":"45","author":"F Jacquemard","year":"2016","unstructured":"Jacquemard, F., Poncelet, C.: An automatic test framework for interactive music systems. J. New Music Res. 45(2), 87\u2013100 (2016). https:\/\/doi.org\/10.1080\/09298215.2016.1173707","journal-title":"J. New Music Res."},{"unstructured":"Marczak R.: Feedback-Based Gameplay Metrics and Gameplay Performance Segmentation: An audio-visual approach for assessing player experience. PhD thesis, University of Waikato, Faculty of Arts and Social Sciences, 2014","key":"298-1_CR18"},{"issue":"3","key":"298-1_CR19","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TCIAIG.2014.2382718","volume":"7","author":"R Marczak","year":"2015","unstructured":"Marczak, R., Schott, G., Hanna, P.: Postprocessing gameplay metrics for gameplay performance segmentation based on audiovisual analysis. IEEE Trans. Comput. Intell. AI Games. 7(3), 279\u2013291 (2015). https:\/\/doi.org\/10.1109\/TCIAIG.2014.2382718","journal-title":"IEEE Trans. Comput. Intell. AI Games"},{"key":"298-1_CR20","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-02394-1_20","volume-title":"Mathematics and Computation in Music","author":"C Olarte","year":"2009","unstructured":"Olarte, C., Rueda, C.: A declarative language for dynamic multimedia interaction systems. In: Chew, E., Childs, A., Chuan, C.-H. (eds.) Mathematics and Computation in Music, pp. 218\u2013227. Springer, Berlin\/Heidelberg (2009). ISBN 978-3-642-02394-1"},{"key":"298-1_CR21","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.scico.2016.08.002","volume":"132","author":"CP Sanchez","year":"2016","unstructured":"Sanchez, C.P., Jacquemard, F.: Model-based testing for building reliable realtime interactive music systems. Sci. Comput. Program. 132, 143\u2013172 (2016). https:\/\/doi.org\/10.1016\/j.scico.2016.08.002","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"298-1_CR22","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/17459737.2013.870610","volume":"8","author":"M Toro","year":"2014","unstructured":"Toro, M., Desainte-Catherine, M., Rueda, C.: Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios. J. Math. Music. 8(1), 93\u2013112 (2014). https:\/\/doi.org\/10.1080\/17459737.2013.870610","journal-title":"J. Math. Music"},{"issue":"4","key":"298-1_CR23","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MMUL.2015.76","volume":"22","author":"C-i Wang","year":"2015","unstructured":"Wang, C.-i., Dubnov, S.: The variable markov oracle: Algorithms for human gesture applications. IEEE MultiMedia. 22(4), 52\u201367 (2015). https:\/\/doi.org\/10.1109\/MMUL.2015.76","journal-title":"IEEE MultiMedia"},{"issue":"4","key":"298-1_CR24","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1162\/COMJa00324","volume":"39","author":"G Wang","year":"2015","unstructured":"Wang, G., Cook, P.R., Salazar, S.: Chuc K: A strongly timed computer music language. Comput. Music. J. 39(4), 10\u201329 (2015). https:\/\/doi.org\/10.1162\/COMJa00324","journal-title":"Comput. Music. J."},{"unstructured":"Zagal, J., Mateas, M., Fernandez-Vara, C., Hochhalter, B., Lichti, N.: Towards an ontological language for game analysis. In: DiGRA \u201905 \u2013 Proceedings of the 2005 DiGRA International Conference: Changing Views: Worlds in Play, Vancouver (2005). http:\/\/www.digra.org\/digital-library\/publications\/towards-an-ontological-language-for-game-analysis\/?doing_wp_cron=1531064778.6737051010131835937500","key":"298-1_CR25"},{"issue":"2","key":"298-1_CR26","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1177\/1555412008314129","volume":"3","author":"J Zagal","year":"2008","unstructured":"Zagal, J., Fernandez-Vara, C., Mateas, M.: Rounds, levels, and waves: The early evolution of gameplay segmentation. Games Cult. 3(2), 175\u2013198 (2008). https:\/\/doi.org\/10.1177\/1555412008314129","journal-title":"Games Cult."}],"container-title":["Encyclopedia of Computer Graphics and Games"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08234-9_298-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,5]],"date-time":"2023-04-05T09:02:27Z","timestamp":1680685347000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08234-9_298-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319082349","9783319082349"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08234-9_298-1","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"26 November 2018, 00:00:00","order":1,"name":"received","label":"Received","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"6 December 2018, 00:00:00","order":2,"name":"accepted","label":"Accepted","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"2 January 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}