Ryu Funase

Orcid: 0000-0003-2477-1195

According to our database¹, Ryu Funase authored at least 2 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Formal Modeling and Analysis of a Planetary Rover Under Abnormal Scenarios with Quint.

[DOI]

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

2022

Tube Stochastic Optimal Control for Nonlinear Constrained Trajectory Optimization Problems.

[DOI]

CoRR, 2022