Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach.

Matthew L. Bolton, Svetlana Riabova, Yeonbin Son, Eunsuk Kang

Browse the full SMC paper archive.