Verifying robustness of human-aware autonomous cars

D Sadigh, SS Sastry, SA Seshia - IFAC-PapersOnLine, 2019 - Elsevier
As human-robot systems make their ways into our every day life, safety has become a core
concern of the learning algorithms used by such systems. Examples include semi …

Verifying Robustness of Human-Aware Autonomous Cars

D Sadigh, SS Sastry, SA Seshia - IFAC-PapersOnLine, 2019 - escholarship.org
As human-robot systems make their ways into our every day life, safety has become a core
concern of the learning algorithms used by such systems. Examples include semi …

[PDF][PDF] Verifying Robustness of Human-Aware Autonomous Cars

D Sadigh, SS Sastry, SA Seshia, UC Berkeley - iliad.stanford.edu
As human-robot systems make their ways into our every day life, safety has become a core
concern of the learning algorithms used by such systems. Examples include semi …