Calcul des équilibres de Nash dans les jeux temporisés
نویسنده
چکیده
Les automates temporisés [AD90] permettent de modéliser un système où le temps s’écoule de façon continu. Ils sont utiles en vérification car beaucoup de propriétés intéressantes sont décidables sur ces modèles. Plusieurs outils ont été développés basés sur des automates temporisés. Les jeux permettent d’étudier des systèmes ouverts. Étant plongé dans un environnement, certaines actions sont contrôlés par le système et d’autres non. Le but est alors de guider ce système, c’est à dire de trouver de bonnes stratégies face aux actions imprévisibles de l’environnement. Le domaine des jeux temporisés, étudié durant ce stage, est relativement récent.
منابع مشابه
Contrôle et implémentation des systèmes temporisés
Cet article est une introduction au contrôle des systèmes modélisés par des automates temporisés. Nous définissons les notions de base du contrôle vu comme un jeu : stratégie, objectif de contrôle, états gagnants. On s’intéresse ensuite aux opérateurs de base permettant de résoudre les jeux temporisés. Nous considérons le cas des jeux de sûreté pour lesquels nous donnons un exemple complet de c...
متن کاملApprentissage de la coordination multiagent : Q-learning par jeu adaptatif
Résumé : Dans le cadre de l’apprentissage multiagent, de nombreux travaux ont cherché jusqu’à présent à établir des algorithmes convergents vers un équilibre de Nash en jeux stochastiques. De tels algorithmes sont cependant limités dans la mesure où ils sont incapables de gérer la multiplicité des équilibres de Nash et de converger vers l’équilibre Pareto-optimal si celui-ci existe. Ces algorit...
متن کاملHierarchical Screen-Space Indirect Illumination for Video Games
Indirect lighting accounts for subtle but essential effects in virtual scenes, and plays a great role in our perception of geometry. It is especially wanted in video games, on fully dynamic scenes, where it greatly enhances the perceived realism. In this paper, we present a screen-space hierarchical algorithm for computing indirect lighting for animated scenes. Our algorithm is fully compatible...
متن کاملLOCAL-GENERATOR : "diviser pour régner" pour l'extraction des traverses minimales d'un hypergraphe
Résumé. Du fait qu’elles apportent des solutions dans de nombreuses applications, les traverses minimales des hypergraphes ne cessent de susciter l’intérêt de la communauté scientifique et le développement d’algorithmes pour les calculer. Dans cet article, nous présentons une nouvelle approche pour l’optimisation de l’extraction des traverses minimales basée sur les notions d’hypergraphe partie...
متن کاملMario, Warcraft ou Pokemon ? La programmation de jeux vidéo comme motivation dans l'apprentissage des sciences informatiques
RESUME : La programmation de jeux vidéo est une motivation souvent donnée par les étudiants désireux de suivre une formation en sciences informatiques. Or implémenter un jeu vidéo est complexe et fait appel à beaucoup de notions dont la plus visible est l'Interface Homme-Machine (IHM). Cette dernière fait souvent obstacle à la proposition d'un sujet de projet portant sur le jeu vidéo. Pourtant,...
متن کامل