Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time

David E. Muller, Ahmed Saoudi, Paul E. Schupp

Browse the full LICS paper archive.