Login / Signup
Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models.
Matthew L. Bolton
Xi Zheng
Kylie Molinaro
Adam Houser
Meng Li
Published in:
Innov. Syst. Softw. Eng. (2017)
Keyphrases
</>
computational models
human interaction
formal models
probabilistic model
human computer interaction
data sets
human experts
human activities
statistical analyses
virtual characters
formal analysis
human robot interaction
experimental data
statistical model
computational model
model selection
natural language