Sign in
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