Timed Automata for Video Games and Interaction

Synonyms Formal Methods, Interactive Multimedia Scenarios, Player Experience, Serious Games Definition Timed Automata is a formalism for modelling and verification of time-critical systems. It has been proven to be a formalism that is well adapted to the expression of the timing constraints appearing in interactive scores and video games because it is a powerful model for describing both the logical ordering of the events in such scenario and also the duration of events and the timing between them.

[1]  Myriam Desainte-Catherine,et al.  Authoring and Automatic Verification of Interactive Multimedia Scores , 2017 .

[2]  Florent Jacquemard,et al.  Model-based testing for building reliable realtime interactive music systems , 2016, Sci. Comput. Program..

[3]  Camilo Rueda,et al.  Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios , 2014 .

[4]  Florent Jacquemard,et al.  An Automatic Test Framework for Interactive Music Systems , 2016 .

[5]  Perry R. Cook,et al.  ChucK: A Strongly Timed Computer Music Language , 2015, Computer Music Journal.

[6]  Thomas A. Henzinger,et al.  Handbook of Model Checking , 2018, Springer International Publishing.

[7]  Camilo Rueda,et al.  Modelling Data Processing for Interactive Scores Using Coloured Petri Nets , 2014, 2014 14th International Conference on Application of Concurrency to System Design.

[8]  Camilo Rueda,et al.  A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios , 2015, 2015 15th International Conference on Application of Concurrency to System Design.

[9]  Myriam Desainte-Catherine,et al.  Towards a Hybrid Temporal Paradigm for Musical Composition and Performance: The Case of Musical Interpretation , 2013, Computer Music Journal.

[10]  Shlomo Dubnov,et al.  The Variable Markov Oracle: Algorithms for Human Gesture Applications , 2015, IEEE MultiMedia.

[11]  Camilo Rueda,et al.  A Declarative Language for Dynamic Multimedia Interaction Systems , 2009 .

[12]  Camilo Rueda,et al.  Foundations for Reliable and Flexible Interactive Multimedia Scores , 2015, MCM.

[13]  Clara Fernández-Vara,et al.  Rounds, Levels, and Waves , 2008, Games Cult..

[14]  Jean-Louis Giavitto,et al.  Operational semantics of a domain specific language for real time musician–computer interaction , 2013, Discret. Event Dyn. Syst..

[15]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[16]  Kim G. Larsen,et al.  Uppaal SMC tutorial , 2015, International Journal on Software Tools for Technology Transfer.

[17]  Gareth Schott,et al.  Postprocessing Gameplay Metrics for Gameplay Performance Segmentation Based on Audiovisual Analysis , 2015, IEEE Transactions on Computational Intelligence and AI in Games.

[18]  Alessandro Canossa,et al.  Towards gameplay analysis via gameplay metrics , 2009, MindTrek '09.