Daiki Ishii, Toshimitsu Ushio. Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata. In IEEE 3rd Global Conference on Consumer Electronics, GCCE 2014, Tokyo, Japan, 7-10 October 2014. pages 372-373, IEEE, 2014. [doi]
Abstract is missing.