Login / Signup

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

David E. MullerAhmed SaoudiPaul 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