Harry Sood

According to our database¹, Harry Sood authored at least 2 papers in 2020.

Collaborative distances:

Timeline

2020

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Formal verification of braking while swerving in automobiles.

[BibT_eX]

[DOI]

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Formal Verification of Swerving Maneuvers for Car Collision Avoidance.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020