Validation of a Formal Method for Human Error Rate Prediction With Negative Transfer. - Yeonbin Son; Matthew L. Bolton; Emma Crooks; Hannah Palmer; Eunsuk Kang; Christopher Daly (IEEE Trans. Hum. Mach. Syst., 2025)