Ichiro Hasuo

A method for analyzing and categorizing complex systems through partitioning.

A look at formal verification and safety architectures for automated driving.

This paper presents a formal method for testing traffic disturbances in autonomous vehicles.