Partitioning State Spaces of Concurrent Transition Systems.
Mustapha BourahlaPublished in: Int. Arab J. Inf. Technol. (2005)
Keyphrases
- transition systems
- state space
- model checking
- concurrent systems
- finite state
- temporal logic
- markov chain
- practical reasoning
- fully observable
- markov decision processes
- control flow
- reactive systems
- model checker
- heuristic search
- planning problems
- distributed systems
- reinforcement learning algorithms
- knowledge base
- reinforcement learning
- orders of magnitude
- test suite
- hidden state
- knowledge based systems
- machine learning
- optimal policy
- artificial intelligence
- learning algorithm