Survey of Human Models for Verification of Human-Machine Systems

Timothy E. Wang, Alessandro Pinto

We survey the landscape of human operator modeling ranging from the early cognitive models developed in artificial intelligence to more recent formal task models developed for mode…