A Decidable Probability Logic for Timed Probabilistic Systems

Ruggero Lanotte Danièle Beauquier

Published in: CoRR (2004)

Keyphrases

probability theory
bayesian networks
conditional probabilities
probabilistic model
distributed systems
probabilistic logic
asynchronous circuits
modal logic
computer systems
np complete
uncertain data