A Decidable Probability Logic for Timed Probabilistic Systems.

Ruggero Lanotte Danièle Beauquier

Published in: Fundam. Informaticae (2009)

Keyphrases

probability theory
intelligent systems
posterior probability
digital circuits
management system
asynchronous circuits
probability distribution
data exchange
probability measure
probability function