Mario Torres (Ivex)
A safety co-pilot for autonomous vehicles
Ivex’s vision is to reduce traffic victims to zero by 2030. Today’s decision-making in autonomous cars is implemented by data-driven probabilistic algorithms, that have no guarantees that the system will follow its safety rules. Ivex is creating a safety co-pilot for self-driving cars. We have a formal-methods based approach that allows the creation of a safe-by-design and certifiable safety co-pilot. Join this talk to learn more about how autonomous cars make decisions and how to guarantee safe decisions within complex environments.