Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.

Valentin Goranko, Steen Vester

Browse the full AiML paper archive.