Keyphrases
- high level
- probability distribution
- formal specification
- belief networks
- artificial intelligence
- occurrence probability
- delay insensitive
- asynchronous circuits
- control flow
- probability theory
- specification language
- transition probabilities
- belief change
- joint probability
- conditional probabilities
- bounded model checking
- machine learning