1. (2012): Concur Task Trees (CTT). available from Accessed: 2017-07-06.
  2. John R Anderson (1996): ACT: A simple theory of complex cognition.. American Psychologist 51, doi:10.1037/0003-066X.51.4.355.
  3. Mehrnoosh Askarpour (2016): Risk Assessment in Collaborative Robotics. In: Formal Methods Doctoral Symposium, FM-DS, CEUR-WS 1744.
  4. Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi & Federico Vicentini (2017): Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. In: Stefano Tonetta, Erwin Schoitsch & Friedemann Bitsch: Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings, Lecture Notes in Computer Science 10488. Springer, pp. 89–104, doi:10.1007/978-3-319-66266-4_6.
  5. Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi & Federico Vicentini (2019): Formal model of human erroneous behavior for safety analysis in collaborative robotics. Robotics and Computer-Integrated Manufacturing 57, pp. 465 – 476, doi:10.1016/j.rcim.2019.01.001.
  6. Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani & Patrizio Pelliccione (2020): Mind the gap: Robotic Mission Planning Meets Software Engineering. In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 55–65, doi:10.1145/3372020.3391561.
  7. Sandra Basnyat & Philippe Palanque (2005): A task pattern approach to incorporate user deviation in task models. In: Proc. 1st ADVISES Young Researchers Workshop. Liege, Belgium.
  8. Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione & Matteo Rossi (2020): PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects Comput. 32(2), pp. 187–227, doi:10.1109/TAC.2011.2176409.
  9. Matthew L. Bolton (2015): Model Checking Human-Human Communication Protocols Using Task Models and Miscommunication Generation. J. Aerospace Inf. Sys. 12(7), pp. 476–489, doi:10.1177/1555343413490944.
  10. Matthew L. Bolton & Ellen J. Bass (2010): Formally verifying human–automation interaction as part of a system model: limitations and tradeoffs. Innovations in Systems and Software Engineering 6(3), pp. 219–231, doi:10.1007/s11334-010-0129-9.
  11. Matthew L. Bolton, Ellen J. Bass & Radu I. Siminiceanu (2012): Generating Phenotypical Erroneous Human Behavior to Evaluate Human-automation Interaction Using Model Checking. Int. J. Hum.-Comput. Stud. 70(11), pp. 888–906, doi:10.1016/j.ijhcs.2012.05.010.
  12. Matthew L. Bolton, Ellen J. Bass & Radu I. Siminiceanu (2013): Using Formal Verification to Evaluate Human-Automation Interaction: A Review. IEEE Trans. Systems, Man, and Cybernetics: Systems 43(3), pp. 488–503, doi:10.1109/TSMCA.2012.2210406.
  13. Matthew L. Bolton, Kylie Molinaro & Adam Houser (2019): A formal method for assessing the impact of task-based erroneous human behavior on system safety. Reliab. Eng. Syst. Saf. 188, pp. 168–180. Available at
  14. Matthew L. Bolton, Radu I. Siminiceanu & Ellen J. Bass (2011): A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models.. IEEE Trans. Systems, Man, and Cybernetics, Part A 41(5), pp. 961–976, doi:10.1109/TSMCA.2011.2109709.
  15. Fiemke Both & Annerieke Heuvelink (2007): From a formal cognitive task model to an implemented ACT-R model. In: Proceedings of the 8th International Conference on Cognitive Modeling (ICCM), pp. 199–204.
  16. Jan Bredereke & Axel Lankenau (2002): A Rigorous View of Mode Confusion. In: Proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP '02. Springer-Verlag, London, UK, UK, pp. 19–31, doi:10.1016/0167-6423(95)96871-J.
  17. Jan Bredereke & Axel Lankenau (2005): Safety-relevant mode confusions modelling and reducing them. Reliability Engineering & System Safety 88(3), pp. 229 – 245, doi:10.1016/j.ress.2004.07.020.
  18. Richard Butterworth, Ann Blandford & David Duke (2000): Demonstrating the Cognitive Plausibility of Interactive System Specifications. Formal Aspects of Computing 12(4), pp. 237–259, doi:10.1007/s001650070021.
  19. Antonio Cerone, Peter A. Lindsay & Simon Connelly (2005): Formal Analysis of Human-computer Interaction using Model-checking. In: Bernhard K. Aichernig & Bernhard Beckert: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. IEEE Computer Society, pp. 352–362, doi:10.1109/SEFM.2005.19. Available at
  20. Matthew Crosby, Ronald P. A. Petrick, Francesco Rovida & Volker Krüger (2017): Integrating Mission and Task Planning in an Industrial Robotics Framework. In: Laura Barbulescu, Jeremy Frank, Mausam & Stephen F. Smith: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017. AAAI Press, pp. 471–479. Available at
  21. Paul Curzon & Ann Blandford (2002): From a Formal User Model to Design Rules. In: Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002, pp. 1–15, doi:10.1007/3-540-36235-5_1.
  22. Paul Curzon & Ann Blandford (2004): Formally justifying user-centred design rules: a case study on post-completion errors. In: International Conference on Integrated Formal Methods. Springer, pp. 461–480, doi:10.1007/3-540-47884-1_12.
  23. Paul Curzon, Rimvydas Rukš\.enas & Ann Blandford (2007): An approach to formal verification of human–computer interaction. Formal Aspects of Computing 19(4), pp. 513–550, doi:10.1007/s00165-007-0035-6.
  24. Lavindra de Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan & Svetan Ratchev (2019): Synthesising process controllers from formal models of transformable assembly systems. Robotics and Computer-Integrated Manufacturing 58, pp. 130 – 144, doi:10.1016/j.rcim.2019.01.014.
  25. R. Dillmann, O. Rogalla, M. Ehrenmann, R. Zöliner & M. Bordegoni (2000): Learning Robot Behaviour and Skills Based on Human Demonstration and Advice: The Machine Learning Paradigm. In: John M. Hollerbach & Daniel E. Koditschek: Robotics Research. Springer London, London, pp. 229–238, doi:10.1007/978-1-4471-1555-7.
  26. E.M. Dougherty & J.R. Fragola (1988): Human reliability analysis. New York, NY; John Wiley and Sons Inc..
  27. DE Embrey (1986): SHERPA: A systematic human error reduction and prediction approach. In: Proceedings of the international topical meeting on advances in human factors in nuclear power systems.
  28. F. De Felice, A. Petrillo & F. Zomparelli (2016): A Hybrid Model for Human Error Probability Analysis. IFAC-PapersOnLine 49(12), pp. 1673 – 1678, doi:10.1016/j.ifacol.2016.07.821. 8th IFAC Conference on Manufacturing Modelling, Management and Control MIM 2016.
  29. Robert E. Fields (2001): Analysis of erroneous actions in the design of critical systems. University of York.
  30. Daniel Gall & Thom W. Frühwirth (2014): A Formal Semantics for the Cognitive Architecture ACT-R. In: Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers, pp. 74–91, doi:10.1007/978-3-319-17822-6_5.
  31. Wayne D. Gray (2000): The Nature and Processing of Errors in Interactive Behavior. Cognitive Science 24(2), pp. 205–248, doi:10.1207/s15516709cog2402_2.
  32. Jérémie Guiochet, Mathilde Machin & Hélène Waeselynck (2017): Safety-critical advanced robots: A survey. Robotics and Autonomous Systems 94, pp. 43 – 52, doi:10.1016/j.robot.2017.04.004.
  33. H. Rex Hartson, Antonio C. Siochi & D. Hix (1990): The UAN: A User-oriented Representation for Direct Manipulation Interface Designs. ACM Trans. Inf. Syst. 8(3), pp. 181–203, doi:10.1145/964967.801131.
  34. K. P. Hawkins, Nam Vo, S. Bansal & A. F. Bobick (2013): Probabilistic human action prediction and wait-sensitive planning for responsive human-robot collaboration. In: 2013 13th IEEE-RAS International Conference on Humanoid Robots (Humanoids), pp. 499–506, doi:10.1109/HUMANOIDS.2013.7030020.
  35. Erik Hollnagel (1998): Cognitive reliability and error analysis method (CREAM). Elsevier.
  36. Andrew Howes & Richard M. Young (1997): The Role of Cognitive Architecture in Modeling the User: Soar's Learning Mechanism. Human-Computer Interaction 12(4), pp. 311–343, doi:10.1007/BF01099424.
  37. Dominik Jain, Stefan Waldherr & Michael Beetz (2011): Bayesian Logic Networks.
  38. David J. Jilk, Christian Lebiere, Randall C. O'Reilly & John R. Anderson (2008): SAL: an explicitly pluralistic cognitive architecture. J. Exp. Theor. Artif. Intell. 20(3), pp. 197–218, doi:10.1007/10719871.
  39. Been Kim (2015): Interactive and interpretable machine learning models for human machine collaboration. Massachusetts Institute of Technology.
  40. Namhun Kim, Ling Rothrock, Jaekoo Joo & Richard A. Wysk (2010): An affordance-based formalism for modeling human-involvement in complex systems for prospective control. In: Proceedings of the 2010 Winter Simulation Conference, WSC 2010, Baltimore, Maryland, USA, 5-8 December 2010. IEEE, pp. 811–823, doi:10.1109/WSC.2010.5679107. Available at
  41. Barry Kirwan (1998): Human error identification techniques for risk assessment of high risk systems-Part 1: review and evaluation of techniques. Applied Ergonomics 29(3), pp. 157 – 177, doi:10.1016/S0003-6870(98)00010-6.
  42. John E Laird (2012): The Soar cognitive architecture. MIT Press, doi:10.7551/mitpress/7688.001.0001.
  43. Vincent Langenfeld, Bernd Westphal & Andreas Podelski (2019): On Formal Verification of ACT-R Architectures and Models. In: Ashok K. Goel, Colleen M. Seifert & Christian Freksa: Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019., pp. 618–624. Available at
  44. Kung-Kiu Lau & Mario Ornaghi (1995): Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. In: Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, pp. 152–169, doi:10.1007/3-540-60939-3_11.
  45. Christian Lebiere, Randall C. O'Reilly, David J. Jilk, Niels Taatgen & John R. Anderson (2008): The SAL Integrated Cognitive Architecture. In: Biologically Inspired Cognitive Architectures, Papers from the 2008 AAAI Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008, AAAI Technical Report FS-08-04. AAAI, pp. 98–104. Available at
  46. B. Li, B. R. Page, B. Moridian & N. Mahmoudian (2020): Collaborative Mission Planning for Long-Term Operation Considering Energy Limitations. IEEE Robotics and Automation Letters 5(3), pp. 4751–4758, doi:10.1109/LRA.2020.3003881.
  47. Meng kun Li, Yong kuo Liu, Min jun Peng, Chun li Xie & Li qun Yang (2016): The decision making method of task arrangement based on analytic hierarchy process for nuclear safety in radiation field. Progress in Nuclear Energy 93, pp. 318 – 326.
  48. Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon & Michael Fisher (2019): Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. 52(5), pp. 100:1–100:41, doi:10.1007/s10458-010-9146-1.
  49. Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon & Michael Fisher (2019): A Summary of Formal Specification and Verification of Autonomous Robotic Systems. In: Wolfgang Ahrendt & Silvia Lizeth Tapia Tarifa: Integrated Formal Methods - 15th International Conference, IFM, Lecture Notes in Computer Science 11918. Springer, pp. 538–541, doi:10.1145/1592434.1592436.
  50. Andrea Mannini & Angelo Maria Sabatini (2010): Machine Learning Methods for Classifying Human Physical Activity from On-Body Accelerometers. Sensors 10(2), pp. 1154–1175, doi:10.3390/s100201154.
  51. Célia Martinie, Philippe A. Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas & Christel Seguin (2016): Task Model-Based Systematic Analysis of Both System Failures and Human Errors. IEEE Trans. Human-Machine Systems 46(2), pp. 243–254, doi:10.1109/THMS.2014.2365956.
  52. Björn Matthias (2015): Risk Assessment for Human-Robot Collaborative Applications. In: Workshop IROS - Physical Human-Robot Collaboration: Safety, Control, Learning and Applications.
  53. Claudio Menghi, Sergio Garcia, Patrizio Pelliccione & Jana Tumova (2018): Multi-robot LTL Planning Under Uncertainty. In: Klaus Havelund, Jan Peleska, Bill Roscoe & Erik de Vink: Formal Methods. Springer International Publishing, Cham, pp. 399–417, doi:10.1177/0278364915595278.
  54. Christine M. Mitchell & R. A. Miller (1986): A Discrete Control Model of Operator Function: A Methodology for Information Display Design. IEEE Trans. Systems, Man, and Cybernetics 16(3), pp. 343–357, doi:10.1109/TSMC.1986.4308966.
  55. Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis & Jim Woodcock (2019): RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling 18(5), pp. 3097–3149, doi:10.1145/197320.197322.
  56. Victor Moher, Thomas G.and Dirda (1995): Revising mental models to accommodate expectation failures in human-computer dialogues, pp. 76–92. Springer Vienna, Vienna.
  57. A. Mosleh & Y.H. Chang (2004): Model-based human reliability analysis: prospects and requirements. Reliability Engineering & System Safety 83(2), pp. 241 – 253, doi:10.1016/j.ress.2003.09.014. Human Reliability Analysis: Data Issues and Errors of Commission.
  58. tum technische universitat munchen (2012): The TUM Kitchen Data Set. Available at
  59. Dan Pan & Matthew L. Bolton (2016): Properties for formally assessing the performance level of human-human collaborative procedures with miscommunications and erroneous human behavior. International Journal of Industrial Ergonomics, pp. –.
  60. Fabio Paternò, Cristiano Mancini & Silvia Meniconi (1997): ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Steve Howard, Judy Hammond & Gitte Lindgaard: Human-Computer Interaction, INTERACT '97, IFIP TC13 Interantional Conference on Human-Computer Interaction, 14th-18th July 1997, Sydney, Australia, IFIP Conference Proceedings 96. Chapman & Hall, pp. 362–369.
  61. Fabio Paternò & Carmen Santoro (2002): Preventing user errors by systematic analysis of deviations from the system task model. International Journal of Human-Computer Studies 56(2), pp. 225–245, doi:10.1006/ijhc.2001.0523.
  62. Steven Pocock, Michael D. Harrison, Peter C. Wright & Paul Johnson (2001): THEA: A Technique for Human Error Assessment Early in Design. In: Michitaka Hirose: Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, Tokyo, Japan, July 9-13, 2001. IOS Press, pp. 247–254.
  63. Gayathri R. & V. Uma (2018): Ontology based knowledge representation technique, domain modeling languages and planners for robotic path planning: A survey. ICT Express 4(2), pp. 69 – 74, doi:10.1016/j.icte.2018.04.008. SI on Artificial Intelligence and Machine Learning.
  64. James Reason (1990): Human error. Cambridge university press, doi:10.1017/CBO9781139062367.
  65. James Reason (2000): Human error: models and management. BMJ: British Medical Journal 320(7237), pp. 768, doi:10.1136/bmj.320.7237.768.
  66. Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti & Jon Timmis (2017): Modelling and Verification of Timed Robotic Controllers. In: Nadia Polikarpova & Steve Schneider: Integrated Formal Methods. Springer International Publishing, Cham, pp. 18–33, doi:10.1007/BFb0020949.
  67. FRANK E. RITTER & RICHARD M. YOUNG (2001): Embodied models as simulated users: introduction to this special issue on using cognitive models to improve interface design. International Journal of Human-Computer Studies 55(1), pp. 1 – 14, doi:10.1006/ijhc.2001.0471.
  68. Rimvydas Ruksenas, Jonathan Back, Paul Curzon & Ann Blandford (2009): Verification-guided modelling of salience and cognitive load. Formal Asp. Comput. 21(6), pp. 541–569, doi:10.1007/s00165-008-0102-7.
  69. Dario D. Salvucci & Frank J. Lee (2003): Simple cognitive modeling in a complex cognitive architecture. In: Gilbert Cockton & Panu Korhonen: Proceedings of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003. ACM, pp. 265–272, doi:10.1145/642611.642658.
  70. Dongmin Shin, Richard A. Wysk & Ling Rothrock (2006): Formal model of human material-handling tasks for control of manufacturing systems. IEEE Trans. Systems, Man, and Cybernetics, Part A 36(4), pp. 685–696, doi:10.1109/TSMCA.2005.853490.
  71. Maarten Sierhuis (2001): Modeling and simulating work practice: BRAHMS: a multiagent modeling and simulation language for work system analysis and design.
  72. Richard Stocker, Louise Dennis, Clare Dixon & Michael Fisher (2012): Verifying Brahms Human-Robot Teamwork Models. In: Logics in Artificial Intelligence: 13th European Conference, JELIA, doi:10.1023/A:1022920129859.
  73. Alan D Swain & Henry E Guttmann (1983): Handbook of human-reliability analysis with emphasis on nuclear power plant applications. Final report. Technical Report. Sandia National Labs., Albuquerque, NM (USA).
  74. Bo Tang, Chao Jiang, Haibo He & Yi Guo (2016): Probabilistic human mobility model in indoor environment, pp. 1601–1608, doi:10.1109/IJCNN.2016.7727389. Available at
  75. Moritz Tenorth, Fernando De la Torre & Michael Beetz (2013): Learning probability distributions over partially-ordered human everyday activities. In: 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013. IEEE, pp. 4539–4544, doi:10.1109/ICRA.2013.6631222. Available at
  76. Fernando de la Torre, Jessica K. Hodgins, Javier Montano & Sergio Valcarcel (2009): Detailed Human Data Acquisition of Kitchen Activities: the CMU-Multimodal Activity Database (CMU-MMAC). In: CHI 2009 Workshop. Developing Shared Home Behavior Datasets to Advance HCI and Ubiquitous Computing Research.
  77. Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi & Dino Mandrioli (2020): Safety Assessment of Collaborative Robotics Through Automated Formal Verification. IEEE Trans. Robotics 36(1), pp. 42–61, doi:10.1109/TRO.2019.2937471.
  78. M.L. Visinsky, J.R. Cavallaro & I.D. Walker (1994): Robotic fault detection and fault tolerance: A survey. Reliability Engineering & System Safety 46(2), pp. 139 – 158, doi:10.1016/0951-8320(94)90132-5.
  79. Bernd Werther & Eckehard Schnieder (2005): Formal Cognitive Resource Model: Modeling of human behavior in complex work environments. In: 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 28-30 November 2005, Vienna, Austria. IEEE Computer Society, pp. 606–611, doi:10.1109/CIMCA.2005.1631535. Available at
  80. J. C. Williams (1988): A data-based method for assessing and reducing human error to improve operational performance. In: Conference Record for 1988 IEEE Fourth Conference on Human Factors and Power Plants,, pp. 436–450, doi:10.1109/HFPP.1988.27540.

Comments and questions to:
For website issues: