Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach | IEEE Journals & Magazine | IEEE Xplore