Trace semantics via determinization for probabilistic transition systems.

Published in: CoRR (2018)

Keyphrases

transition systems
control flow
concurrent systems
model checking
temporal logic
finite state
practical reasoning
formal semantics
bayesian networks
data flow
knowledge base
probability theory
reactive systems