High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems.

Fahad Alotaibi, Thai Son Hoang, Michael J. Butler

Browse the full COMPSAC paper archive.