Laura Nenzi sat down with Leen De Marez of TEDxVienna and explained how the research developed within the ZK35 project will improve urban mobility patterns and what are the advantages and far-reaching applications of formal verification methods. The whole interview is available here.