The Stability of Human Supervisory Control Operator Behavioral Models Using Hidden Markov Models | IEEE Conference Publication | IEEE Xplore