Incremental Bisimulation Abstraction Refinement.
Lei SongLijun ZhangHolger HermannsJens Chr. GodskesenPublished in: ACSD (2013)
Keyphrases
- high level
- incremental learning
- incremental version
- decision theoretic planning
- databases
- neural network
- machine learning
- reinforcement learning
- incremental clustering
- abstraction hierarchy
- real time
- refinement step
- step wise
- data abstraction
- rough set theory
- dynamic programming
- user interface
- expert systems
- video sequences
- optimal solution
- decision making
- artificial intelligence