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

Ben Lloyd-Roberts, Phillip James, Michael Edwards, Simon Robinson, Thomas Werner

Browse the full CHI paper archive.