Design of driver-assist systems under probabilistic safety specifications near stop signs: Proofs of technical results
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 Automat...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Institute of Electrical and Electronics Engineers (IEEE)
2015
|
| Online Access: | http://hdl.handle.net/1721.1/99901 https://orcid.org/0000-0001-8695-1891 https://orcid.org/0000-0003-1866-6970 https://orcid.org/0000-0001-6472-8576 |
| Summary: | 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. |
|---|