Future work

• Investigating the variation of behaviors in the probability space to form a sheaf [Simpson 2017Simpson, A. 2017. Probability Sheaves and the Giry Monad. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.]
• Continuous-time stochastic dynamical systems
• Combining non-determinism and stochasticity