Distinguishing Transition Systems With The Nondeterministic Behavior.

Igor B. Burdonov Nina Yevtushenko Alexander Kossachev

Published in: SSI (2019)

Keyphrases

transition systems
finite state
model checking
concurrent systems
temporal logic
markov chain
control flow
fully observable
markov decision processes
practical reasoning
optimal policy
partial order
planning problems
initial state