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. ,
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
Gestion adaptative des contenus numériques : Proposition d'un framework générique par apprentissage et scénarisation dynamique, pp.25-28, 2016. ,
Arnaud Revel, Nicolas Rempulski. Towards a hybrid approach for supervising interactive adaptive systems, MOVEP, 2016. ,
Link human/robot, 2014. ,
Malik Ghallab, and Félix Ingrand. An architecture for autonomy, The International Journal of Robotics Research, vol.17, issue.4, p.50, 1998. ,
The theory of timed automata, pp.45-73 ,
Claraty : Challenges and steps toward reusable robotic software, International Journal of Advanced Robotic Systems, vol.3, p.50, 2006. ,
Modeling games with petri nets, Digital Games Research Association (DiGRA), 2009. ,
Towards automated surgical robotics : A requirements engineering approach, 4th IEEE RAS EMBS International Conference on Biomedical Robotics and Biomechatronics (BioRob), pp.31-48, 2012. ,
KRO-NOS -Model Checking of Real-time Systems, p.83, 2001. ,
, SMV -Symbolic Model Checking, p.81, 2001.
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
, Aproche générationnelle des pratiques culturelles et médiatiques. Culture Prospective, vol.3, p.14, 2007.
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. ,
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
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
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.
A Timed Petri Net Model to Specify Scenarios of Video Games, vol.01, pp.467-473, 2018. ,
, Voir page 32
Stochastic Petri Nets -An Introduction to the Theory, 2013. ,
, Voir page 38
Timed automata : Semantics, algorithms and tools, Lectures on Concurrency and Petri Nets, p.69, 2003. ,
Formal methods for robotics : Robochart, robosim, and more, Formal Methods : Foundations and Applications -20th Brazilian Symposium, p.19, 2017. ,
Beyond virtual museums : Experiencing immersive virtual reality in real museums, Journal of Cultural Heritage, vol.11, issue.4, pp.452-458, 2010. ,
Using Models at Runtime to Address Assurance for Self-Adaptive Systems, p.81, 2014. ,
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Trans. Program. Lang. Syst, vol.8, issue.2, pp.244-263, 1986. ,
Model Checking, p.81, 1999. ,
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. ,
Robot task plan representation by petri nets : modelling, identification, analysis and execution, Autonomous Robots, vol.33, issue.4, pp.38-48, 2012. ,
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
Museus : Case study of a pervasive cultural heritage serious game, J. Comput. Cult. Herit, vol.6, issue.2, p.19, 2013. ,
Playing and learning in early childhood education, 2011. ,
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
Game modeling using workflow nets, 2011 IEEE International Conference on Systems, Man, and Cybernetics, vol.32, pp.37-48, 2011. ,
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. ,
Automating verification of state machines with reactive designs and isabelle/utp. CoRR, Juillet, 2018. ,
, Voir page 81
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. ,
Formal Verification of the Functional Layer of Robotic and Autonomous Systems, pp.5-49, 2018. ,
URL : https://hal.archives-ouvertes.fr/tel-02080063
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. ,
, Linear logic. Theoretical Computer Science, vol.50, issue.1, p.35, 1987.
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, pp.134-152, 1997. ,
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. ,
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.
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
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. ,
Rosrv : Runtime verification for robots, Runtime Verification, p.81, 2014. ,
Accelerating multiagent reinforcement learning by equilibrium transfer, IEEE Transactions on Cybernetics, vol.45, issue.7, pp.1289-1302, 2015. ,
, Voir page 97
Safety verification of deep neural networks, Computer Aided Verification, pp.3-29, 2017. ,
, Voir page 81
Symbolic Model Checking for Real-Time Systems. Information and Computation, vol.111, p.39, 1994. ,
Spin Model Checker, the : Primer and Reference Manual, p.81, 2003. ,
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. ,
Coloured Petri nets, p.34, 1987. ,
An introduction to the practical use of coloured Petri Nets, pp.34-37, 1998. ,
Modelling and analysis of a collision avoidance protocol using spin and uppaal, BRICS Report Series, vol.3, p.83, 2002. ,
Testing communication tasks in distributed control systems with sysml and timed colored petri nets model, Computers in Industry, vol.71, p.32, 2015. ,
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
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. ,
Partially observable markov decision process for managing robot collaboration with human, 21st IEEE International Conference on Tools with Artificial Intelligence, pp.518-521, 2009. ,
The saphira architecture for autonomous mobile robots, Artificial Intelligence and Mobile Robots, p.50, 1998. ,
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
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
10 years of Pervasive Computing' In Honor of Chatschik Bisdikian, Pervasive and Mobile Computing, vol.17, p.94, 2015. ,
Orocos rtt-lua : an execution environment for building real-time robotic domain specific languages, p.31, 2010. ,
Robotic Systems Architectures and Programming, p.26, 2016. ,
Adaptive and personalised robots -learning from users' feedback, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, p.98, 2013. ,
Formal specification and verification of autonomous robotic systems : A survey, pp.80-81, 2018. ,
Petri nets for task supervision in humanoid robots, Proc., 37th International Symposium on Robotics, p.37, 2006. ,
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
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
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
An augmented reality museum guide, Proceedings -7th IEEE International Symposium on Mixed and Augmented Reality, p.15, 2008. ,
Remote agent : To boldly go where no ai system has gone before, Artif. Intell, vol.103, p.50, 1998. ,
DB-Nets : On the Marriage of Colored Petri Nets and Relational Databases, pp.91-118, 2017. ,
Robochart : a state-machine notation for modelling and verification of mobile and autonomous robots, vol.29, pp.30-48, 2016. ,
Robochart : modelling and verification of the functional behaviour of robotic applications. Software & Systems Modeling, 2019. ,
Mobar : a hierarchical action-oriented autonomous control architecture, Journal of Intelligent & Robotic Systems, vol.94, issue.3, p.50, 2019. ,
Integrated planning and execution for robotic exploration, International Workshop on Hybrid Control of Autonomous Systems, p.26, 2009. ,
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. ,
Petri nets : Properties, analysis and applications, Proceedings of the IEEE, vol.77, pp.541-580, 1989. ,
, Voir page 38
Isabelle/HOL : A Proof Assistant for Higher-Order Logic, vol.2283, p.81, 2002. ,
Pratiques culturelles chez les jeunes et institutions de transmission : un choc de cultures ? Culture prospective, vol.1, p.15, 2009. ,
Communication with automata, p.32, 1966. ,
The temporal logic of programs, Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS '77, p.81, 1977. ,
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
, Digital Natives, Digital Immigrants. Marc Prensky, p.14, 2001.
Analysis of soccer robot behaviors using time petri nets, 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI), p.39, 2016. ,
Ros : an open-source robot operating system, ICRA Workshop on Open Source Software, vol.3, 2009. ,
Analysis of asynchronous concurrent systems by timed Petri nets, p.33, 1974. ,
Synthèse dynamique de superviseur pour l'exécution adaptative d'applications interactives, vol.41, pp.59-69, 2013. ,
Formalising and monitoring traffic rules for autonomous vehicles in isabelle/hol, Integrated Formal Methods, pp.50-66, 2017. ,
Reachability and temporal conflicts in t-time petri nets, Proceedings 9th International Workshop on Petri Nets and Performance Models, pp.229-238, 2001. ,
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
Concurrent and Real-time systems, p.29, 2000. ,
Samuelsson and Marilyn. Fleer. Play and learning in early childhood settings : international perspectives ,
, , p.16, 2008.
Component Software : Beyond Object-Oriented Programming, p.26, 2002. ,
Use of petri nets for performance evaluation, Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems, pp.75-93, 1977. ,
An adaptive strategy selection method with reinforcement learning for robotic soccer games, IEEE Access, pp.1-1, 2018. ,
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. ,
Learning to Predict by the Methods of Temporal Differences, Machine Learning, vol.3, p.96, 1988. ,
User-robot personality matching and assistive robot behavior adaptation for post-stroke rehabilitation therapy, Intelligent Service Robotics, vol.1, issue.2, p.95, 2008. ,
Workflow Management : Models, Methods, and Systems, p.34, 2004. ,
Performance Modeling of Automated Manufacturing Systems, p.38, 1992. ,
Gaining robotics advantage, p.13, 2017. ,
Q-learning, Machine Learning, vol.8, pp.279-292, 1992. ,
A formal model-based design method for robotic systems, IEEE Systems Journal, vol.44, issue.5, pp.45-48, 2018. ,
Timed automata based motion planning for a selfassembly robot system, 2014 IEEE International Conference on Robotics and Automation (ICRA), pp.5624-5629, 2014. ,
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. ,
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