Handling State Space Explosion in Component-Based Software Verification: A Review.
Faranak NejatiAbdul Azim Abdul GhaniKeng-Yap NgAzmi Bin JafaarPublished in: IEEE Access (2021)
Keyphrases
- state space
- heuristic search
- dynamic programming
- markovian decision
- monte carlo
- continuous time markov process
- markov decision processes
- reinforcement learning
- search space
- orders of magnitude
- state variables
- dynamical systems
- particle filter
- planning problems
- markov chain
- data sets
- learning algorithm
- stochastic domains
- continuous state spaces
- action space
- reinforcement learning algorithms
- literature review
- real world
- goal state
- initial state
- artificial intelligence
- information systems
- database systems
- artificial neural networks
- linear programming
- optimal policy