Intel has adopted a mathematical model developed at Hebrew University, which determines exactly how self-driving cars will make decisions to prevent accidents.