Încărcări
Transportation Research Part F: Matthias Beggiato, Marta Pereira, Tibor Petzoldt, Josef Krems 0% au considerat acest document utilFormally Verifying Human-Automation Interaction As Part of A System Model: Limitations and Tradeoffs 0% au considerat acest document utilUsing Formal Verification To Evaluate Human-Automation Interaction: A Review 0% au considerat acest document utilOperators' Automation Usage Decisions and The Sources of Misuse and Disuse 0% au considerat acest document utilGenerating Phenotypical Erroneous Human Behavior To Evaluate Human-Automation Interaction Using Model Checking 0% au considerat acest document utilFormal Verification of Human-Automation Interaction 0% au considerat acest document utilAffordance-Based Modeling of A Human-Robot Cooperative System For Area Explo - Ration 0% au considerat acest document utilNot All Trust Is Created Equal: Dispositional and History-Based Trust in Human-Automation Interactions 0% au considerat acest document utilExtending The Decision Field Theory To Model Operators' Reliance On Automation in Supervisory Control Situations 0% au considerat acest document utilA Model of Trust and Reliance of Automation Technology For Older Users 0% au considerat acest document utilLee 1992 0% au considerat acest document util