Research Note - Ruling Out Bad Behavior: Designing Software to Make Extremely Dangerous Consequences Not Just "Unlikely" but "Impossible"

Author: Pourbahrami, Trity

Issued by: California Institute of Technology. Division of Engineering and Applied Science

Year: 2011