D. Mondou and A. Prigent, CELTIC/EDAIN : une approche de modélisation et de supervision d'expériences interactives, Conférence Nationale en Intelligence Artificielle -CNIA, pp.77-85, 2019.

D. Mondou, A. Prigent, and A. Revel, A Dynamic Scenario by Remote Supervision : A Serious Game in the Museum with a Nao Robot, Advances in Computer Entertainment Technology -ACE, vol.10714, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01670562

D. Mondou and A. Prigent, Gestion adaptative des contenus numériques : Proposition d'un framework générique par apprentissage et scénarisation dynamique, pp.25-28, 2016.

D. Mondou and A. Prigent, Arnaud Revel, Nicolas Rempulski. Towards a hybrid approach for supervising interactive adaptive systems, MOVEP, 2016.

E. Aspord, J. Becker, and E. Grangier, Link human/robot, 2014.

R. Alami, R. Chatila, and S. Fleury, Malik Ghallab, and Félix Ingrand. An architecture for autonomy, The International Journal of Robotics Research, vol.17, issue.4, p.50, 1998.

R. Alur and D. Dill, The theory of timed automata, pp.45-73

A. D. Issa, R. Nesnas, D. Simmons, C. Gaines, A. Kunz et al., Claraty : Challenges and steps toward reusable robotic software, International Journal of Advanced Robotic Systems, vol.3, p.50, 2006.

M. Araújo, Modeling games with petri nets, Digital Games Research Association (DiGRA), 2009.

M. Bonfè, F. Boriero, R. Dodi, P. Fiorini, A. Morandi et al., Towards automated surgical robotics : A requirements engineering approach, 4th IEEE RAS EMBS International Conference on Biomedical Robotics and Biomechatronics (BioRob), pp.31-48, 2012.

[. Bbf-+-01a]-béatrice, M. Bérard, A. Bidoit, F. Finkel, A. Laroussinie et al., KRO-NOS -Model Checking of Real-time Systems, p.83, 2001.

[. Bbf-+-01b]-béatrice, M. Bérard, A. Bidoit, F. Finkel, A. Laroussinie et al., SMV -Symbolic Model Checking, p.81, 2001.

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous real-time components in bip, Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, SEFM '06, pp.3-12, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00375298

P. Benghozi, Aproche générationnelle des pratiques culturelles et médiatiques. Culture Prospective, vol.3, p.14, 2007.

G. Bernard, C. Faucher, and K. Bertet, Towards reconstruction of human trajectories in indoor environments, Proceedings of the EKAW 2018 Posters and Demonstrations Session co-located with 21st International Conference on Knowledge Engineering and Knowledge Management, p.123, 2018.

S. Boucenna, P. Gaussier, P. Andry, and L. Hafemeister, A robot learns the facial expressions recognition and face/non-face discrimination through an imitation game, International Journal of Social Robotics, vol.6, issue.4, pp.633-652, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01738583

E. Badouel, L. Hélouët, and C. Morvan, Petri nets with structured data, Application and Theory of Petri Nets and Concurrency, pp.212-233, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01379245

, Voir page 32

M. Franciny, S. Barreto, and . Julia, Modeling and analysis of video games based on workflow nets and state graphs, Proceedings of, p.24

, Annual International Conference on Computer Science and Software Engineering, CASCON '14, pp.106-119, 2014.

F. Barreto, J. Jeske, and S. Julia, A Timed Petri Net Model to Specify Scenarios of Video Games, vol.01, pp.467-473, 2018.

, Voir page 32

F. Bause and P. Kritzinger, Stochastic Petri Nets -An Introduction to the Theory, 2013.

, Voir page 38

J. Bengtsson and W. Yi, Timed automata : Semantics, algorithms and tools, Lectures on Concurrency and Petri Nets, p.69, 2003.

A. Cavalcanti, Formal methods for robotics : Robochart, robosim, and more, Formal Methods : Foundations and Applications -20th Brazilian Symposium, p.19, 2017.

M. Carrozzino and M. Bergamasco, Beyond virtual museums : Experiencing immersive virtual reality in real museums, Journal of Cultural Heritage, vol.11, issue.4, pp.452-458, 2010.

H. C. Betty, K. I. Cheng, M. Eder, L. Gogolla, M. Grunske et al., Using Models at Runtime to Address Assurance for Self-Adaptive Systems, p.81, 2014.

E. A. Edmund-melson-clarke, A. Emerson, and . Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Trans. Program. Lang. Syst, vol.8, issue.2, pp.244-263, 1986.

E. M. Clarke, J. Orna-grumberg, and D. A. Peled, Model Checking, p.81, 1999.

J. J. Camilleri, M. R. Haghshenas, and G. Schneider, A web-based tool for analysing normative documents in english, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC '18, p.83, 2018.

H. Costelha and P. Lima, Robot task plan representation by petri nets : modelling, identification, analysis and execution, Autonomous Robots, vol.33, issue.4, pp.38-48, 2012.

A. Clodic, Supervision pour un robot interactif : action et interaction pour un robot autonome en environnement humain. Theses, 2007.
URL : https://hal.archives-ouvertes.fr/tel-00196608

T. Coenen, L. Mostmans, and K. Naessens, Museus : Case study of a pervasive cultural heritage serious game, J. Comput. Cult. Herit, vol.6, issue.2, p.19, 2013.

D. Dietze, Playing and learning in early childhood education, 2011.

S. Dhouib, S. Kchir, S. Stinckwich, T. Ziadi, and M. Ziane, Robotml, a domain-specific language to design, simulate and deploy robotic applications, Simulation, Modeling, and Programming for Autonomous Robots, pp.149-160, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00995125

G. Oliveira, S. Julia, and L. Passos, Game modeling using workflow nets, 2011 IEEE International Conference on Systems, Man, and Cybernetics, vol.32, pp.37-48, 2011.

G. Edwards, J. Garcia, H. Tajalli, D. Popescu, and N. Medvidovic, Architecture-driven selfadaptation and self-management in robotics systems, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp.142-151, 2009.

S. Foster, J. Baxter, A. Cavalcanti, A. Miyazawa, and J. Woodcock, Automating verification of state machines with reactive designs and isabelle/utp. CoRR, Juillet, 2018.

, Voir page 81

S. Fleury, M. Herrb, and R. Chatila, Genom : A tool for the specification and the implementation of operating modules in a distributed robot architecture, International Conference on Intelligent Robots and Systems, p.49, 1997.

M. Foughali, Formal Verification of the Functional Layer of Robotic and Autonomous Systems, pp.5-49, 2018.
URL : https://hal.archives-ouvertes.fr/tel-02080063

E. Gat, Integrating planning and reacting in a heterogeneous asynchronous architecture for controlling real-world mobile robots, Proceedings of the Tenth National Conference on Artificial Intelligence, AAAI'92, p.50, 1992.

J. Girard, Linear logic. Theoretical Computer Science, vol.50, issue.1, p.35, 1987.

P. Kim-guldstrand-larsen, W. Pettersson, and . Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, pp.134-152, 1997.

R. Gu, R. Marinescu, C. Seceleanu, and K. Lundqvist, Formal verification of an autonomous wheel loader by model checking, Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE '18, p.83, 2018.

T. Gibson-robinson, P. Armstrong, A. Boulgakov, and A. W. Roscoe, Fdr3 -a modern refinement checker for csp, Tools and Algorithms for the Construction and Analysis of Systems, pp.187-201, 2014.

, The Object Management Group. Omg unified modeling language specification, p.27, 1999.

D. Heß, M. Althoff, and T. Sattel, Formal verification of maneuver automata for parameterized motion primitives, 2014.

, IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.1474-1481, 2014.

, Voir page 81

. Kao-shing, Y. J. Hwang, C. Chen, and . Lee, Reinforcement learning in strategy selection for a coordinated multirobot system, IEEE Transactions on Systems, Man, and Cybernetics -Part A : Systems and Humans, vol.37, pp.1151-1157, 2007.

J. Huang, C. Erdogan, Y. Zhang, B. Moore, Q. Luo et al., Rosrv : Runtime verification for robots, Runtime Verification, p.81, 2014.

Y. Hu, Y. Gao, and B. An, Accelerating multiagent reinforcement learning by equilibrium transfer, IEEE Transactions on Cybernetics, vol.45, issue.7, pp.1289-1302, 2015.

, Voir page 97

X. Huang, M. Kwiatkowska, S. Wang, and M. Wu, Safety verification of deep neural networks, Computer Aided Verification, pp.3-29, 2017.

, Voir page 81

T. Henzinger, J. Nicollin, S. Sifakis, and . Yovine, Symbolic Model Checking for Real-Time Systems. Information and Computation, vol.111, p.39, 1994.

G. Holzmann, Spin Model Checker, the : Primer and Reference Manual, p.81, 2003.

S. Jacquot, G. Chareyron, and S. Cousin, Le tourisme de mémoire au prisme du big data. cartographier les circulations touristiques pour observer les pratiques mémorielles, vol.14, p.14, 2018.

K. Jensen, Coloured Petri nets, p.34, 1987.

K. Jensen, An introduction to the practical use of coloured Petri Nets, pp.34-37, 1998.

H. Jensen, K. Larsen, and A. Skou, Modelling and analysis of a collision avoidance protocol using spin and uppaal, BRICS Report Series, vol.3, p.83, 2002.

M. Jamro, D. Rzonca, and W. Rz?sa, Testing communication tasks in distributed control systems with sysml and timed colored petri nets model, Computers in Industry, vol.71, p.32, 2015.

H. Kress-gazit, G. E. Fainekos, and G. J. Pappas, Where's waldo ? sensor-based temporal logic motion planning, Proceedings 2007 IEEE International Conference on Robotics and Automation, pp.3116-3121, 2007.

, Voir page 81

T. Kanda and H. Ishiguro, Communication robots for elementary schools, Proceedings of AISB'05 Symposium Robot Companions : Hard Problems and Open Challenges in Robot-Human Interaction (Hatfield Hertfordshire, p.98, 2005.

L. Abir-beatrice-karami, A. I. Jeanpierre, and . Mouaddib, Partially observable markov decision process for managing robot collaboration with human, 21st IEEE International Conference on Tools with Artificial Intelligence, pp.518-521, 2009.

K. Konolige and K. Myers, The saphira architecture for autonomous mobile robots, Artificial Intelligence and Mobile Robots, p.50, 1998.

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0 : Verification of probabilistic real-time systems, Proc. 23rd International Conference on Computer Aided Verification (CAV'11), vol.6806, p.83, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648035

K. Kobayashi, A. Nakatani, H. Takahashi, and T. Ushio, Motion planning for humanoid robots using timed petri net and modular state net, IEEE International Conference on Systems, Man and Cybernetics, vol.6, p.6, 2002.

, Voir page 37

C. Krupitzer, F. M. Roth, S. Vansyckel, G. Schiele, and C. Becker, 10 years of Pervasive Computing' In Honor of Chatschik Bisdikian, Pervasive and Mobile Computing, vol.17, p.94, 2015.

M. Klotzbücher and P. Soetens, Orocos rtt-lua : an execution environment for building real-time robotic domain specific languages, p.31, 2010.

D. Kortenkamp, R. Simmons, and D. Brugali, Robotic Systems Architectures and Programming, p.26, 2016.

K. Abir-beatrice-karami, B. Sehaba, and . Encelle, Adaptive and personalised robots -learning from users' feedback, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, p.98, 2013.

M. Luckcuck, M. Farrell, L. A. Dennis, C. Dixon, and M. Fisher, Formal specification and verification of autonomous robotic systems : A survey, pp.80-81, 2018.

A. Lehmann, R. Mikut, and T. Asfour, Petri nets for task supervision in humanoid robots, Proc., 37th International Symposium on Robotics, p.37, 2006.

C. Lesire and F. Pommereau, Aspic : an acting system based on skill petri net composition, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01961211

T. Le, L. Palopoli, R. Passerone, and Y. Ramadian, Timed-automata based schedulability analysis for distributed firm realtime systems : A case study, Int. J. Softw. Tools Technol. Transf, vol.15, issue.3, pp.211-228, 2013.

, Voir page 83

M. Lapeyre, P. Rouanet, and P. Oudeyer, Poppy : a New Bio-Inspired Humanoid Robot Platform for Biped Locomotion and Physical Human-Robot Interaction, Proceedings of the 6th International Symposium on Adaptive Motion in Animals and Machines (AMAM), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00788433

, Voir page 15

T. Miyashita, P. Meier, T. Tachikawa, S. Orlic, T. Eble et al., An augmented reality museum guide, Proceedings -7th IEEE International Symposium on Mixed and Augmented Reality, p.15, 2008.

N. Muscettola, P. P. Nayak, B. Pell, and B. C. Williams, Remote agent : To boldly go where no ai system has gone before, Artif. Intell, vol.103, p.50, 1998.

M. Montali and A. Rivkin, DB-Nets : On the Marriage of Colored Petri Nets and Relational Databases, pp.91-118, 2017.

A. Miyazawa, P. Ribeiro, W. Li, A. Cavalcanti, J. Timmis et al., Robochart : a state-machine notation for modelling and verification of mobile and autonomous robots, vol.29, pp.30-48, 2016.

A. Miyazawa, P. Ribeiro, W. Li, A. Cavalcanti, J. Timmis et al., Robochart : modelling and verification of the functional behaviour of robotic applications. Software & Systems Modeling, 2019.

P. Muñoz, D. María, D. F. R-moreno, F. Barrero, and . Ropero, Mobar : a hierarchical action-oriented autonomous control architecture, Journal of Intelligent & Robotic Systems, vol.94, issue.3, p.50, 2019.

C. Mcgann, K. Rajan, and A. G. Olaya, Integrated planning and execution for robotic exploration, International Workshop on Hybrid Control of Autonomous Systems, p.26, 2009.

S. Gonçalo, L. Martins, J. Santos, and . Dias, User-adaptive interaction in social robots : A survey focusing on non-physical interaction, International Journal of Social Robotics, vol.11, issue.1, pp.185-205, 2019.

T. Murata, Petri nets : Properties, analysis and applications, Proceedings of the IEEE, vol.77, pp.541-580, 1989.

, Voir page 38

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL : A Proof Assistant for Higher-Order Logic, vol.2283, p.81, 2002.

S. Octobre, Pratiques culturelles chez les jeunes et institutions de transmission : un choc de cultures ? Culture prospective, vol.1, p.15, 2009.

C. Adam and P. , Communication with automata, p.32, 1966.

A. Pnueli, The temporal logic of programs, Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS '77, p.81, 1977.

A. Prigent and A. Revel, Cite -content interaction time and space : a hybrid approach to model man-robot interaction for deployment in museums, EAI Endorsed Transactions on Creative Technologies, vol.4, issue.13, p.2017
URL : https://hal.archives-ouvertes.fr/hal-01650020

, Voir page 58

M. Prensky, Digital Natives, Digital Immigrants. Marc Prensky, p.14, 2001.

D. Ponsini, Y. Yang, and S. Kim, Analysis of soccer robot behaviors using time petri nets, 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI), p.39, 2016.

M. Quigley, K. Conley, P. Brian, J. Gerkey, T. Faust et al., Ros : an open-source robot operating system, ICRA Workshop on Open Source Software, vol.3, 2009.

C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, p.33, 1974.

N. Rempulski, Synthèse dynamique de superviseur pour l'exécution adaptative d'applications interactives, vol.41, pp.59-69, 2013.

A. Rizaldi, J. Keinholz, M. Huber, J. Feldle, F. Immler et al., Formalising and monitoring traffic rules for autonomous vehicles in isabelle/hol, Integrated Formal Methods, pp.50-66, 2017.

N. Riviere, B. Pradin-chezalviel, and R. Valette, Reachability and temporal conflicts in t-time petri nets, Proceedings 9th International Workshop on Petri Nets and Performance Models, pp.229-238, 2001.

N. Rempulski, A. Prigent, P. Estraillier, V. Courboulay, and M. Perreira, Adaptive Storytelling Based On Model-Checking Approaches, International Journal of Intelligent Games \& Simulation (IJIGS), vol.5, pp.44-48, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00385227

S. Schneider, Concurrent and Real-time systems, p.29, 2000.

I. Pramling, Samuelsson and Marilyn. Fleer. Play and learning in early childhood settings : international perspectives

. London, , p.16, 2008.

C. Szyperski, D. Gruntz, and S. Murer, Component Software : Beyond Object-Oriented Programming, p.26, 2002.

J. Sifakis, Use of petri nets for performance evaluation, Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems, pp.75-93, 1977.

H. Shi, Z. Lin, K. Hwang, S. Yang, and J. Chen, An adaptive strategy selection method with reinforcement learning for robotic soccer games, IEEE Access, pp.1-1, 2018.

S. Schreiner, R. Seyyedi, M. Fakih, K. Grüttner, and W. Nebel, Towards power management verification of time-triggered systems using virtual platforms, Proceedings of the 18th International Conference on Embedded Computer Systems : Architectures, Modeling, and Simulation, SAMOS '18, p.83, 2018.

R. S. Sutton, Learning to Predict by the Methods of Temporal Differences, Machine Learning, vol.3, p.96, 1988.

A. Tapus, C. ??pu?, and M. J. Matari?, User-robot personality matching and assistive robot behavior adaptation for post-stroke rehabilitation therapy, Intelligent Service Robotics, vol.1, issue.2, p.95, 2008.

W. Van-der-aalst and K. Van-hee, Workflow Management : Models, Methods, and Systems, p.34, 2004.

N. Viswanadham and Y. Narahari, Performance Modeling of Automated Manufacturing Systems, p.38, 1992.

M. Wolfgang, Gaining robotics advantage, p.13, 2017.

J. C. Christopher, P. Watkins, and . Dayan, Q-learning, Machine Learning, vol.8, pp.279-292, 1992.

R. Wang, Y. Guan, H. Song, X. Li, X. Li et al., A formal model-based design method for robotic systems, IEEE Systems Journal, vol.44, issue.5, pp.45-48, 2018.

R. Wang, P. Luo, Y. Guan, H. Wei, X. Li et al., Timed automata based motion planning for a selfassembly robot system, 2014 IEEE International Conference on Robotics and Automation (ICRA), pp.5624-5629, 2014.

M. Weissman, D. Ponsini, and S. Kim, Prioritized situation awareness for soccer robots using timed transition petri nets, 2018 IEEE International Conference on Information Reuse and Integration (IRI), pp.134-138, 2018.

K. Wada and T. Shibata, Robot therapy in a care house -its sociopsychological and physiological effects on the residents, Proceedings 2006 IEEE International Conference on Robotics and Automation, pp.3966-3971, 2006.

, Voir page 95