Documents Savoirs Terminaison en temps moyen fini de systèmes de règles probabilistes, Termination within a finite mean time of probabilistic rules based systems Florent Garnier