Preuves, Programmes et Systèmes

Jean Goubault-Larrecq (ENS Cachan),

Une introduction au pavé, à géométrie variable

Résumé: Le "pavé" est le nom familier donné au livre sur les modèles de choix mixte (non-déterministe + probabiliste) dont une version vieillissante se trouve sur ma page Web. Un des deux modèles que j'y propose est celui des prévisions. Je propose de parler de ce modèle, et d'expliquer pourquoi, sous des hypothèses raisonnables, il est isomorphe au modèle proposé par Tix, Keimel et Plotkin en 2005 (publié à FoSSaCS'08). Comme j'espère surtout initier une discussion, toute demande d'explication est bienvenue, et je ne m'interdirai pas de digresser et d'expliquer quelques questions qui me taraudent ou quelques idées qui me sont passées par l'esprit mais ne sont pas forcément encore publiées.