Behaviour Inference for Deadlock Checking.
Ka I PunMartin SteffenVolker StolzPublished in: TASE (2014)
Keyphrases
- bayesian networks
- bayesian inference
- dynamic bayesian networks
- neural network
- user behaviour
- decision trees
- case study
- reinforcement learning
- objective function
- data structure
- expert systems
- pairwise
- state space
- logic programs
- belief networks
- decision theoretic
- genetic algorithm
- bayesian model
- consistency checking
- databases