vix.ing · top · new · best · stats · spec

Burgio, Paolo

  1. F1/10: An Open-Source Autonomous Cyber-Physical Platform
    2019/01/24 by Matthew O’Kelly, O'Kelly, Matthew, Varundev Sukhil +19 · 7 citations
    Computer Science · Engineering · #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Formal Methods in Verification #Robotics (cs.RO) #Vehicular Ad Hoc Networks (VANETs)