We propose a formal model of scenario to ease designers task while granting the same freedom to players. In this model each entity is modeled as an automaton.

In this paper we propose an approach for driving narrative based on dynamic model checking of scenario during game execution. We have developed a multi-agent ...

This paper proposes an approach, to drive narrative, based on scenario model dynamic checking during game execution, and has developed multi-agent system ...

In this model each entity is modeled as an automaton. These automata are then combined to build the scenario as all entity's actions sequences. The right ...

This article deals with the problem of designing and supervising interactive experiences through models to enable control of their execution.

This paper explores personality modeling and proposes a novel approach to generate individualized interactive narratives based on the preferences of users.

Adaptive Storytelling Based On Model-Checking Approaches. N Rempulsky, A Prigent, P Estraillier, V Courboulay, MP Da Silva. Int. J. Intell. Games Simul. 5 (2), ...

सह-लेखक ; Adaptive Storytelling Based On Model-Checking Approaches. N Rempulsky, A Prigent, P Estraillier, V Courboulay, MP Da Silva. Int. J. Intell. Games Simul.

Jan 29, 2020 · This paper explores personality modeling and proposes a novel approach to generate individualized interactive narratives based on the ...

Rempulski et al. (2009) go further by introducing model-checking to drive and validate the storytelling. In this approach, the plot is not a transition- ...