Login / Signup

Synthesis of equilibria in infinite-duration games on graphs.

Véronique Bruyère
Published in: ACM SIGLOG News (2021)
Keyphrases