Benoît Barbot

Apprends à créer des programmes fiables qui réagissent à leur environnement.

Un cadre pour mieux comprendre les chaînes de Markov complexes en utilisant des techniques d'abstraction et d'échantillonnage.