Lectures in Game Theory for Computer Scientists最新文献

筛选

英文中文

Games with imperfect information: theory and algorithms 不完全信息博弈:理论与算法

Lectures in Game Theory for Computer Scientists Pub Date : 1900-01-01 DOI: 10.1017/CBO9780511973468.007

L. Doyen, Jean-François Raskin

{"title":"Games with imperfect information: theory and algorithms","authors":"L. Doyen, Jean-François Raskin","doi":"10.1017/CBO9780511973468.007","DOIUrl":"https://doi.org/10.1017/CBO9780511973468.007","url":null,"abstract":"We study observation-based strategies for two-player turn-based games played on graphs with parity objectives. An observation-based strategy relies on imperfect information about the history of a play, namely, on the past sequence of observations. Such games occur in the synthesis of a controller that does not see the private state of the plant. Our main results are twofold. First, we give a fixed-point algorithm for computing the set of states from which a player can win with a deterministic observation-based strategy for a parity objective. Second, we give an algorithm for computing the set of states from which a player can win with probability 1 with a randomised observation-based strategy for a reachability objective. This set is of interest because in the absence of perfect information, randomised strategies are more powerful than deterministic ones. Games are natural models for reactive systems. We consider zero-sum two player turn-based games of infinite duration played on finite graphs. One player represents a control program, and the second player represents its environment. The graph describes the possible interactions of the system, and the game is of infinite duration because reactive systems are usually not expected to terminate. In the simplest setting, the game is turn-based and with perfect information, meaning that the players have full knowledge of both the game structure and the sequence of moves played by the adversary. The winning condition in a zero-sum graph game is defined by a set of plays that the first player aims to enforce, and that the second player aims to avoid.","PeriodicalId":431931,"journal":{"name":"Lectures in Game Theory for Computer Scientists","volume":"485 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133696878","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 37

Turn-based stochastic games 回合制随机对策

Lectures in Game Theory for Computer Scientists Pub Date : 1900-01-01 DOI: 10.1017/CBO9780511973468.006

A. Kucera

引用次数: 17