{"_id":{"_str":"520be4fba9e4b91d2f0006e5"},"__v":11,"authorIDs":["545717bc2abc8e9f3700004f","5458ab55b43425b772000191"],"author_short":["Jamroga, W.","Dix, J."],"bibbaseid":"jamroga-dix-modelcheckingstrategicabilitiesofagentsunderincompleteinformation-2005","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Wojciech"],"propositions":[],"lastnames":["Jamroga"],"suffixes":[]},{"firstnames":["Jürgen"],"propositions":[],"lastnames":["Dix"],"suffixes":[]}],"title":"Model Checking Strategic Abilities of Agents Under Incomplete Information","booktitle":"Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings","pages":"295-308","ee":"http://dx.doi.org/10.1007/11560586_24","year":"2005","bibtex":"@inproceedings{ DBLP:conf/ictcs/JamrogaD05,\n author = {Wojciech Jamroga and Jürgen Dix},\n title = {Model Checking Strategic Abilities of Agents Under Incomplete Information},\n booktitle = {Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings},\n pages = {295-308},\n ee = {http://dx.doi.org/10.1007/11560586_24} ,\n year = {2005}\n}\n\n\n","author_short":["Jamroga, W.","Dix, J."],"key":"DBLP:conf/ictcs/JamrogaD05","id":"DBLP:conf/ictcs/JamrogaD05","bibbaseid":"jamroga-dix-modelcheckingstrategicabilitiesofagentsunderincompleteinformation-2005","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/11560586_24"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwbibbaseorgdblpjamroga_wojciechbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["model","checking","strategic","abilities","agents","under","incomplete","information","jamroga","dix"],"title":"Model Checking Strategic Abilities of Agents Under Incomplete Information","title_words":["model","checking","strategic","abilities","agents","under","incomplete","information"],"year":2005,"dataSources":["PtLPL9vBCraumfiPu"]}