Keyphrases
- formal verification
- model checking
- probabilistic model
- probabilistic relational
- concurrent systems
- asynchronous circuits
- modal logic
- generative model
- data driven
- multiscale
- bayesian networks
- neural network
- hidden markov models
- information theoretic
- posterior probability
- decision making
- decision procedures
- probabilistic interpretation
- data mining
- databases