Yuminghao Xiao

According to our database¹, Yuminghao Xiao authored at least 3 papers between 2021 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Formal safety verification of non-deterministic systems based on probabilistic reachability computation.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2025

2024

Reachability-Based Planning of Time-Optimal Curvature-Constrained Path With Moving and Deforming Obstacles.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., November, 2024

2021

Time-Optimal Path Planning in an Evolving Ocean Wave Field based on Reachability Theory.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021