By leveraging probabilistic models and optimization techniques, Professor Kochenderfer aims to design robust systems capable ...

In the first emergency management and life safety programs audit in three years, Washington Metrorail Safety Commission found ...

Tesla just dropped a bombshell: its Autopilot-equipped cars are crashing far less than human-driven ones. Could this ...

For many decades, endemic memory-safety vulnerabilities in software trusted computing bases (TCBs) have enabled the spread of ...

A "critical safety gap between drivers’ expectations of (Tesla's drivers' assistance system's) operating capabilities and the system’s true capabilities … led to foreseeable misuse and ...