Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck. Specifying Safety Monitors for Autonomous Systems Using Model-Checking. In Andrea Bondavalli, Felicita Di Giandomenico, editors, Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. Volume 8666 of Lecture Notes in Computer Science, pages 262-277, Springer, 2014. [doi]
Abstract is missing.