Using Formal Verification to Evaluate Human-Automation Interaction: A Review

Journal article

Open access

Matthew L BOLTON, Ellen J BASS and Radu I SIMINICEANU

IEEE transactions on systems, man, and cybernetics. Systems, v 43(3), pp 488-503

2013

Files and links (1)

url

https://doi.org/10.1109/TSMCA.2012.2210406View

Published, Version of Record (VoR) Open

Psychology. Psychoanalysis. Psychiatry

Computer systems performance. Reliability

Reasoning. Problem solving

Exact sciences and technology

Psychology. Psychophysiology

Biological and medical sciences

Cognition. Intelligence

Mathematics

Mathematical logic, foundations, set theory

Computer systems and distributed systems. User interface

Sciences and techniques of general use

Computer science; control theory; systems

Fundamental and applied biological sciences. Psychology

Proof theory and constructive mathematics

Logic and foundations

Applied sciences

Software

13 Record Views

156 citations in Scopus

Title: Using Formal Verification to Evaluate Human-Automation Interaction: A Review
Creators: Matthew L BOLTON - Department of Mechanical and Industrial Engineering, University of Illinois at Chicago, Chicago, IL 60607, United States
Ellen J BASS - College of Information Science and Technology and College of Nursing and Health Professions, Drexel University, Philadelphia, PA 19104, United States
Radu I SIMINICEANU - National Institute of Aerospace, Hampton, VA 23666, United States
Publication Details: IEEE transactions on systems, man, and cybernetics. Systems, v 43(3), pp 488-503
Publisher: Institute of Electrical and Electronics Engineers; New York, NY
Resource Type: Journal article
Language: English
Academic Unit: Information Science
Web of Science ID: WOS:000323495900002
Scopus ID: 2-s2.0-84887050967
Other Identifier: 991014877910604721

Data related to this publication, from InCites Benchmarking & Analytics tool:

Collaboration types: Domestic collaboration
Web of Science research areas: Automation & Control Systems; Computer Science, Cybernetics