Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination.
Christian PrehoferPeter ScholzPublished in: SPLC Workshops (2013)
Keyphrases
- state transition
- black box
- state transitions
- input output
- state space
- hidden markov models
- state transition model
- markov chain
- probability distribution
- internal state
- human behavior
- behavioral model
- database
- finite state machines
- artificial intelligence
- transition model
- integrity constraints
- behavior patterns
- behavioral patterns
- machine learning
- behavioral data
- databases