Explore les martingales dans les systèmes stochastiques, en mettant l'accent sur l'analyse formelle, l'analyse des terminaisons et la vérification de la stabilité.
Explore la génération de processus stochastiques, y compris les processus gaussiens, les processus de Markov, les processus de Poisson et l'intégration circulatoire.
