Keyphrases
- probabilistic model
- management system
- finite state machines
- state variables
- probability distribution
- theoretical framework
- neural network model
- mathematical model
- statistical model
- process model
- prediction model
- formal model
- model checking
- decision making
- computer systems
- cost function
- prior knowledge
- expert systems