Minghao Ning

1PUBLICATIONS
5CO-AUTHORS
Satisfiability and optimisation
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jun 13, 2025
Cascaded Safety Analysis and Test Scenario Generation Techniques for Autonomous Driving: A Case Study with WATonoBus.

Chen Sun, Ruihe Zhang, Ahmad Reza Alghooneh

Pageof 1