Cursus :
Vincent Danos est directeur de recherches CNRS dans l'équipe preuves, programmes, systèmes à l' Université Paris-Diderot.
Affiliation : CNRS, Université Paris-Diderot
Statut : Directeur de Recherches
Liens :
- Université Paris Descartes
Cursus :
Vincent Danos est directeur de recherches CNRS dans l'équipe preuves, programmes, systèmes à l' Université Paris-Diderot.
Affiliation : CNRS, Université Paris-Diderot
Statut : Directeur de Recherches
Liens :
- Université Paris DescartesConférence de Vincent Danos organisée par le département d'informatique.
We present a method to compute approximate descriptions of a class of stochastic systems. For the method to apply, the system must be presented as a Markov ch...