Wojciech Jamroga and Jürgen Dix: Model Checking Strategic Abilities of Agents Under Incomplete Information. (2005)conf/ictcs/JamrogaD0510.1007/11560586_24Model Checking Strategic Abilities of Agents Under Incomplete Information.2Wojciech Jamroga1Jürgen Dix2295-308ICTCSICTCS20052005provenance information for RDF data of dblp record 'conf/ictcs/JamrogaD05'2023-06-26T20:48:33+0200