Login / Signup
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games.
Josée Desharnais
François Laviolette
Mathieu Tracol
Published in:
QEST (2008)
Keyphrases
</>
bayesian networks
genetic algorithm
data analysis
statistical analysis
numerical analysis
information systems
control system
conditional probabilities
classical logic