Harry Sood

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Formal Verification

Collision Avoidance

Coloured Petri Nets

Top Venues

Publications

Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin
Formal verification of braking while swerving in automobiles. HSCC (2020)
Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin
Formal Verification of Swerving Maneuvers for Car Collision Avoidance. ACC (2020)