Login / Signup
Transition Systems over Continuous Time-Space.
Izumi Takeuti
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
transition systems
model checking
markov chain
temporal logic
social networks
state space
belief space
practical reasoning
concurrent systems