Login / Signup
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
Published in:
LICS (1988)
Keyphrases
</>
spatio temporal
temporal information
finite state machines
database
data model
state space
dynamic environments
expressive power
spatial and temporal
explanation based learning