On the Existence of Quadratic Control Lyapunov Functions for Koopman-Operator based Bilinear Systems | Sami Leon Noel Aziz Hanna et al. | ResearchPod