Login / Signup
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions.
Silvia Crafa
Francesco Ranzato
Published in:
ACM Trans. Comput. Log. (2014)
Keyphrases
</>
transition systems
probability distribution
model checking
temporal logic
concurrent systems
practical reasoning
finite state
control flow
bayesian networks
model checker
reactive systems
web services
multi agent
object oriented
utility function