A Topological Approach for Verifying Existence of Solutions of Optimal Control Problems. - Kohta Harada; Toshiyuki Ohtsuka (CDC, 2025)