Login / Signup
Approximate verification of strategic abilities under imperfect information.
Wojciech Jamroga
Michal Knapik
Damian Kurpiewski
Lukasz Mikulski
Published in:
Artif. Intell. (2019)
Keyphrases
</>
imperfect information
game theoretic
game tree search
perfect information
game playing
imperfect information games
game theory
model checking
alternating time temporal logic
card game
decision making
multi agent systems
game tree
real time strategy games
sufficient conditions