Login / Signup

Turing machines, transition systems, and interaction.

Dina Q. GoldinScott A. SmolkaPaul C. AttieElaine L. Sonderegger
Published in: Inf. Comput. (2004)
Keyphrases
  • transition systems
  • turing machine
  • model checking
  • concurrent systems
  • temporal logic
  • finite state
  • practical reasoning
  • artificial intelligence
  • hidden markov models
  • markov chain
  • mental states