Rational Synthesis Under Imperfect Information.

Emmanuel Filiot Raffaella Gentilini Jean-François Raskin

Published in: LICS (2018)

Keyphrases

imperfect information
game theoretic
game playing
game theory
game tree search
imperfect information games
game tree
card game
alternating time temporal logic
perfect information
decision making
cooperative
nash equilibrium
finite automata
human players