Shou-pon Lin

• Facilitating Formal Verification of Cooperative Driving Applications