Weak Bisimulation is Sound and Complete for PCTL*.

Josée Desharnais Vineet Gupta Radha Jagadeesan Prakash Panangaden

Published in: CONCUR (2002)

Keyphrases

inference rules
set of inference rules
database
special case
data sets
machine learning
information systems
reinforcement learning
learning environment