SafeMC: A System for the Design and Evaluation of Mode-Change Protocols.

Tianyang Chen, Linh Thi Xuan Phan

Browse the full RTAS paper archive.