Improving Railway Safety: Human-in-the-loop Invariant Finding

Ben Lloyd-Roberts, Phillip James, Michael Edwards, Simon Robinson, Thomas Werner. Improving Railway Safety: Human-in-the-loop Invariant Finding. In Albrecht Schmidt 0001, Kaisa Väänänen, Tesh Goyal, Per Ola Kristensson, Anicia Peters, editors, Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, CHI EA 2023, Hamburg, Germany, April 23-28, 2023. ACM, 2023. [doi]

Abstract

Abstract is missing.