Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 7 Avril 2015

Approximate planning and verification for large Markov Decision Processes

par Richard Lassaigne (IMJ, Paris 7)

Les processus de décision markoviens fournissent un cadre puissant de formalisation pour les problèmes de contrôle dans un univers non déterministe et probabiliste.

Deux types importants de problèmes sont l'optimisation des coûts (ou des récompenses) et la vérification de propriétés comme l'accessibilité et la sureté. Les méthodes classiques ne sont pas vraiment utilisables pour les systèmes de très grande taille: elles sont de complexité polynomiale dans la taille du système. Dans cet exposé, on présente des méthodes d'approximation par échantillonnage qui n'utilisent qu'un générateur probabiliste du système.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr