Login / Signup
Turing machines, transition systems, and interaction.
Dina Q. Goldin
Scott A. Smolka
Paul C. Attie
Elaine 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