Weak alternating automata give a simple explanation of why most temporal and dynamic logics are decidable in exponential time | IEEE Conference Publication | IEEE Xplore