Workshops

New models of games with imperfect information

Visit talk page
Workshops

Automata-based approach for quantum circuit/program verification

Visit talk page
Workshops

Controller Synthesis Beyond the Worst Case

Visit talk page
Workshops

Stochastic games with neural perception mechanisms

Visit talk page
Workshops

Multi-agent games with finite-horizon goals

Visit talk page
Workshops

Subgame perfection

Visit talk page
Workshops

Deciding regular games: a playground for exponential time algorithms

Visit talk page
Workshops

Computing a fixed point of contraction maps in polynomial queries

Visit talk page
Workshops

Reaching collective decisions

Visit talk page
Workshops

Games of Imperfect Information

Visit talk page