Application of reinforcement learning algorithms to software verification
Cette thèse présente une forme nouvelle de vérification de systèmes probabilistes en utilisant des algorithmes d’apprentissage par renforcement. Le développement de très grands et très complexes systèmes logiciels est souvent l’aboutissement d’un travail d’équipe. L’objectif est de satisfaire le cli...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | FR |
| Published: |
Université Laval
2006
|
| Subjects: | |
| Online Access: | http://www.theses.ulaval.ca/2006/23583/23583.pdf |