A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems.

Fahad Alotaibi, Thai Son Hoang, Michael J. Butler

Browse the full COMPSAC paper archive.