@article{rempulski:hal-00449356, TITLE = {{Adaptive storytelling based on model-checking approaches}}, AUTHOR = {Rempulski, Nicolas and Prigent, Armelle and Estraillier, Pascal and Courboulay, Vincent and Perreira da Silva, Matthieu}, URL = {https://hal.science/hal-00449356}, JOURNAL = {{IJIGS}}, VOLUME = {5}, NUMBER = {2}, PAGES = {33}, YEAR = {2009}, MONTH = Nov, HAL_ID = {hal-00449356}, HAL_VERSION = {v1}, }