Login / Signup
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties.
Christel Baier
Nathalie Bertrand
Philippe Schnoebelen
Published in:
ACM Trans. Comput. Log. (2007)
Keyphrases
</>
intelligent systems
information systems
management system
learning systems
learning algorithm
bayesian networks
multi agent
building blocks
posterior probability
multi channel
probabilistic logic
desirable characteristics