Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results

Abstract

This document contains the statements and proofs of the main theoretical results presented in the paper by the same authors with the title \Design of driver-assist system under probabilistic safety specifications near stop signs", which will appear in the special issue on Human Centered Automation of the IEEE Transactions on Automation Science and Engineering