Login / Signup
A Toolset for the Symbolic Examination of Finite State Transition Systems.
Jürgen Ruf
Published in:
MBMV (2000)
Keyphrases
</>
transition systems
finite state
model checking
markov chain
markov decision processes
optimal policy
temporal logic
development process
reinforcement learning
distributed systems
heuristic search
average cost
partially observable markov decision processes