Formal Synthesis of Stochastic Systems via Control Barrier Certificates | IEEE Journals & Magazine | IEEE Xplore