Login / Signup

Game-Theoretic Semantics for Alternating-Time Temporal Logic.

Valentin GorankoAntti KuusistoRaine Rönnholm
Published in: ACM Trans. Comput. Log. (2018)
Keyphrases