OpenAlex
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
Work