Robust Alternating-Time Temporal Logic.

Aniello Murano, Daniel Neider, Martin Zimmermann

Browse the full JELIA paper archive.