2012
Concur Task Trees (CTT)
available from w3.org
Accessed: 2017-07-06
John R Anderson
1996
ACT: A simple theory of complex cognition.
American Psychologist
51
10.1037/0003-066X.51.4.355
Mehrnoosh Askarpour
2016
Risk Assessment in Collaborative Robotics
Formal Methods Doctoral Symposium, FM-DS
CEUR-WS
1744
Mehrnoosh Askarpour
Dino Mandrioli
Matteo Rossi
Federico Vicentini
2017
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications
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
89–104
10.1007/978-3-319-66266-4_6
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
465 – 476
10.1016/j.rcim.2019.01.001
Mehrnoosh Askarpour
Claudio Menghi
Gabriele Belli
Marcello M. Bersani
Patrizio Pelliccione
2020
Mind the gap: Robotic Mission Planning Meets Software Engineering
FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020
55–65
10.1145/3372020.3391561
Sandra Basnyat
Philippe Palanque
2005
A task pattern approach to incorporate user deviation in task models
Proc. 1st ADVISES Young Researchers Workshop. Liege, Belgium
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
187–227
10.1109/TAC.2011.2176409
Matthew L. Bolton
2015
Model Checking Human-Human Communication Protocols Using Task Models and Miscommunication Generation
J. Aerospace Inf. Sys.
12
7
476–489
10.1177/1555343413490944
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
219–231
10.1007/s11334-010-0129-9
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
888–906
10.1016/j.ijhcs.2012.05.010
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
488–503
10.1109/TSMCA.2012.2210406
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
168–180
https://doi.org/10.1016/j.ress.2019.03.010
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
961–976
10.1109/TSMCA.2011.2109709
Fiemke Both
Annerieke Heuvelink
2007
From a formal cognitive task model to an implemented ACT-R model
Proceedings of the 8th International Conference on Cognitive Modeling (ICCM)
199–204
Jan Bredereke
Axel Lankenau
2002
A Rigorous View of Mode Confusion
Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
SAFECOMP '02
Springer-Verlag
London, UK, UK
19–31
10.1016/0167-6423(95)96871-J
Jan Bredereke
Axel Lankenau
2005
Safety-relevant mode confusions modelling and reducing them
Reliability Engineering & System Safety
88
3
229 – 245
10.1016/j.ress.2004.07.020
Richard Butterworth
Ann Blandford
David Duke
2000
Demonstrating the Cognitive Plausibility of Interactive System Specifications
Formal Aspects of Computing
12
4
237–259
10.1007/s001650070021
Antonio Cerone
Peter A. Lindsay
Simon Connelly
2005
Formal Analysis of Human-computer Interaction using Model-checking
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
352–362
10.1109/SEFM.2005.19
https://ieeexplore.ieee.org/xpl/conhome/10529/proceeding
Matthew Crosby
Ronald P. A. Petrick
Francesco Rovida
Volker Krüger
2017
Integrating Mission and Task Planning in an Industrial Robotics Framework
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
471–479
https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15715
Paul Curzon
Ann Blandford
2002
From a Formal User Model to Design Rules
Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002
1–15
10.1007/3-540-36235-5_1
Paul Curzon
Ann Blandford
2004
Formally justifying user-centred design rules: a case study on post-completion errors
International Conference on Integrated Formal Methods
Springer
461–480
10.1007/3-540-47884-1_12
Paul Curzon
Rimvydas Rukš\.enas
Ann Blandford
2007
An approach to formal verification of human–computer interaction
Formal Aspects of Computing
19
4
513–550
10.1007/s00165-007-0035-6
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
130 – 144
10.1016/j.rcim.2019.01.014
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
John M. Hollerbach
Daniel E. Koditschek
Robotics Research
Springer London
London
229–238
10.1007/978-1-4471-1555-7
E.M. Dougherty
J.R. Fragola
1988
Human reliability analysis
New York, NY; John Wiley and Sons Inc.
DE Embrey
1986
SHERPA: A systematic human error reduction and prediction approach
Proceedings of the international topical meeting on advances in human factors in nuclear power systems
F. De Felice
A. Petrillo
F. Zomparelli
2016
A Hybrid Model for Human Error Probability Analysis
IFAC-PapersOnLine
49
12
1673 – 1678
10.1016/j.ifacol.2016.07.821
8th IFAC Conference on Manufacturing Modelling, Management and Control MIM 2016
Robert E. Fields
2001
Analysis of erroneous actions in the design of critical systems
University of York
Daniel Gall
Thom W. Frühwirth
2014
A Formal Semantics for the Cognitive Architecture ACT-R
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
74–91
10.1007/978-3-319-17822-6_5
Wayne D. Gray
2000
The Nature and Processing of Errors in Interactive Behavior
Cognitive Science
24
2
205–248
10.1207/s15516709cog2402_2
Jérémie Guiochet
Mathilde Machin
Hélène Waeselynck
2017
Safety-critical advanced robots: A survey
Robotics and Autonomous Systems
94
43 – 52
10.1016/j.robot.2017.04.004
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
181–203
10.1145/964967.801131
K. P. Hawkins
Nam Vo
S. Bansal
A. F. Bobick
2013
Probabilistic human action prediction and wait-sensitive planning for responsive human-robot collaboration
2013 13th IEEE-RAS International Conference on Humanoid Robots (Humanoids)
499–506
10.1109/HUMANOIDS.2013.7030020
Erik Hollnagel
1998
Cognitive reliability and error analysis method (CREAM)
Elsevier
Andrew Howes
Richard M. Young
1997
The Role of Cognitive Architecture in Modeling the User: Soar's Learning Mechanism
Human-Computer Interaction
12
4
311–343
10.1007/BF01099424
Dominik Jain
Stefan Waldherr
Michael Beetz
2011
Bayesian Logic Networks
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
197–218
10.1007/10719871
Been Kim
2015
Interactive and interpretable machine learning models for human machine collaboration
Massachusetts Institute of Technology
Namhun Kim
Ling Rothrock
Jaekoo Joo
Richard A. Wysk
2010
An affordance-based formalism for modeling human-involvement in complex systems for prospective control
Proceedings of the 2010 Winter Simulation Conference, WSC 2010, Baltimore, Maryland, USA, 5-8 December 2010
IEEE
811–823
10.1109/WSC.2010.5679107
https://ieeexplore.ieee.org/xpl/conhome/5672636/proceeding
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
157 – 177
10.1016/S0003-6870(98)00010-6
John E Laird
2012
The Soar cognitive architecture
MIT Press
10.7551/mitpress/7688.001.0001
Vincent Langenfeld
Bernd Westphal
Andreas Podelski
2019
On Formal Verification of ACT-R Architectures and Models
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
cognitivesciencesociety.org
618–624
https://mindmodeling.org/cogsci2019/papers/0124/index.html
Kung-Kiu Lau
Mario Ornaghi
1995
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs
Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings
152–169
10.1007/3-540-60939-3_11
Christian Lebiere
Randall C. O'Reilly
David J. Jilk
Niels Taatgen
John R. Anderson
2008
The SAL Integrated Cognitive Architecture
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
98–104
http://www.aaai.org/Library/Symposia/Fall/2008/fs08-04-027.php
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
4751–4758
10.1109/LRA.2020.3003881
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
318 – 326
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
100:1–100:41
10.1007/s10458-010-9146-1
Matt Luckcuck
Marie Farrell
Louise A. Dennis
Clare Dixon
Michael Fisher
2019
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
Wolfgang Ahrendt
Silvia Lizeth Tapia Tarifa
Integrated Formal Methods - 15th International Conference, IFM
Lecture Notes in Computer Science
11918
Springer
538–541
10.1145/1592434.1592436
Andrea Mannini
Angelo Maria Sabatini
2010
Machine Learning Methods for Classifying Human Physical Activity from On-Body Accelerometers
Sensors
10
2
1154–1175
10.3390/s100201154
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
243–254
10.1109/THMS.2014.2365956
Björn Matthias
2015
Risk Assessment for Human-Robot Collaborative Applications
Workshop IROS - Physical Human-Robot Collaboration: Safety, Control, Learning and Applications
Claudio Menghi
Sergio Garcia
Patrizio Pelliccione
Jana Tumova
2018
Multi-robot LTL Planning Under Uncertainty
Klaus Havelund
Jan Peleska
Bill Roscoe
Erik de Vink
Formal Methods
Springer International Publishing
Cham
399–417
10.1177/0278364915595278
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
343–357
10.1109/TSMC.1986.4308966
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
3097–3149
10.1145/197320.197322
Victor Moher, Thomas G.and Dirda
1995
Revising mental models to accommodate expectation failures in human-computer dialogues
76–92
Springer Vienna
Vienna
A. Mosleh
Y.H. Chang
2004
Model-based human reliability analysis: prospects and requirements
Reliability Engineering & System Safety
83
2
241 – 253
10.1016/j.ress.2003.09.014
Human Reliability Analysis: Data Issues and Errors of Commission
tum technische universitat munchen
2012
The TUM Kitchen Data Set
https://ias.in.tum.de/dokuwiki/software/kitchen-activity-data
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
–
Fabio Paternò
Cristiano Mancini
Silvia Meniconi
1997
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
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
362–369
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
225–245
10.1006/ijhc.2001.0523
Steven Pocock
Michael D. Harrison
Peter C. Wright
Paul Johnson
2001
THEA: A Technique for Human Error Assessment Early in Design
Michitaka Hirose
Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, Tokyo, Japan, July 9-13, 2001
IOS Press
247–254
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
69 – 74
10.1016/j.icte.2018.04.008
SI on Artificial Intelligence and Machine Learning
James Reason
1990
Human error
Cambridge university press
10.1017/CBO9781139062367
James Reason
2000
Human error: models and management
BMJ: British Medical Journal
320
7237
768
10.1136/bmj.320.7237.768
Pedro Ribeiro
Alvaro Miyazawa
Wei Li
Ana Cavalcanti
Jon Timmis
2017
Modelling and Verification of Timed Robotic Controllers
Nadia Polikarpova
Steve Schneider
Integrated Formal Methods
Springer International Publishing
Cham
18–33
10.1007/BFb0020949
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
1 – 14
10.1006/ijhc.2001.0471
Rimvydas Ruksenas
Jonathan Back
Paul Curzon
Ann Blandford
2009
Verification-guided modelling of salience and cognitive load
Formal Asp. Comput.
21
6
541–569
10.1007/s00165-008-0102-7
Dario D. Salvucci
Frank J. Lee
2003
Simple cognitive modeling in a complex cognitive architecture
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
265–272
10.1145/642611.642658
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
685–696
10.1109/TSMCA.2005.853490
Maarten Sierhuis
2001
Modeling and simulating work practice: BRAHMS: a multiagent modeling and simulation language for work system analysis and design
Richard Stocker
Louise Dennis
Clare Dixon
Michael Fisher
2012
Verifying Brahms Human-Robot Teamwork Models
Logics in Artificial Intelligence: 13th European Conference, JELIA
10.1023/A:1022920129859
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)
Bo Tang
Chao Jiang
Haibo He
Yi Guo
2016
Probabilistic human mobility model in indoor environment
1601–1608
10.1109/IJCNN.2016.7727389
https://ieeexplore.ieee.org/xpl/conhome/7593175/proceeding
Moritz Tenorth
Fernando De la Torre
Michael Beetz
2013
Learning probability distributions over partially-ordered human everyday activities
2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013
IEEE
4539–4544
10.1109/ICRA.2013.6631222
https://ieeexplore.ieee.org/xpl/conhome/6615630/proceeding
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)
CHI 2009 Workshop. Developing Shared Home Behavior Datasets to Advance HCI and Ubiquitous Computing Research
Federico Vicentini
Mehrnoosh Askarpour
Matteo Rossi
Dino Mandrioli
2020
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
IEEE Trans. Robotics
36
1
42–61
10.1109/TRO.2019.2937471
M.L. Visinsky
J.R. Cavallaro
I.D. Walker
1994
Robotic fault detection and fault tolerance: A survey
Reliability Engineering & System Safety
46
2
139 – 158
10.1016/0951-8320(94)90132-5
Bernd Werther
Eckehard Schnieder
2005
Formal Cognitive Resource Model: Modeling of human behavior in complex work environments
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
606–611
10.1109/CIMCA.2005.1631535
https://ieeexplore.ieee.org/xpl/conhome/10869/proceeding
J. C. Williams
1988
A data-based method for assessing and reducing human error to improve operational performance
Conference Record for 1988 IEEE Fourth Conference on Human Factors and Power Plants,
436–450
10.1109/HFPP.1988.27540