Can Someone Prove Your Operator Won’t Get Distracted? A Gentle Introduction to Formal Methods in Human Factors

Open Webpage

Stephen B. Gilbert, Parth Ganeriwala, James I. Lathrop, Amanda K. Newendorp, Stephen J. Fieffer, Peggy Wu, Isaac Amundson, Candice Chambers, Adam Kohl, Shayama S. Khan, Mohammadamin Sanaei, Junaid Babar, Timothy Wang, David Musliner, Robert P. Goldman, Jeremy Gottlieb, Eliot Winer, Michael C. Dorneich, Siddhartha Bhattacharyya

Published: 01 Sept 2025, Last Modified: 27 Mar 2026Proceedings of the Human Factors and Ergonomics Society Annual MeetingEveryoneRevisionsCC BY-SA 4.0