Checking formal verification models for human-automation interaction.

M. M. van Paassen Matthew L. Bolton Noelia Jimenez

Published in: SMC (2014)

Keyphrases

formal verification
human interaction
model selection
model checking
computational models
probabilistic model
state space
test set
temporal logic
formal specification
human robot interaction
automated verification