Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs
{{output}}
Both the human factors engineering (HFE) and formal methods communities are concerned with improving the design of safety-critical systems. This work discusses a modeling effort that leveraged methods from both fields to perform formal verification of human-au... ...
