Publication | Open Access

Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking

Artificial IntelligenceHuman ReliabilityCognitive ScienceBehavioral SciencesMachine SystemsEngineeringHuman-in-the-loopAutomationVerificationSystems EngineeringHuman-computer InteractionHuman ErrorHuman FactorsHuman–automation InteractionHuman Systems Integration