Shankar A. Deka, Sriram S. K. S. Narayanan, Umesh Vaidya: Path-Integral Formula for Computing Koopman Eigenfunctions. CDC 2023: 6641-6646