State-Space Reduction Techniques in Agent Verification.
Rafael H. BordiniMichael FisherWillem VisserMichael J. WooldridgePublished in: AAMAS (2004)
Keyphrases
- state space
- stochastic domains
- learning agent
- goal state
- heuristic search
- multi agent
- belief state
- reinforcement learning
- reward function
- multi agent systems
- partially observable
- markov decision process
- autonomous agents
- multiple agents
- state abstraction
- intelligent agents
- dynamic environments
- dynamical systems
- markov decision processes
- state variables
- multiagent systems
- action space
- artificial agents
- decision making
- agent technology
- state transition
- search algorithm
- partially observable markov decision process
- model checking
- markov chain
- agent systems
- mobile agents
- agent model
- verification method
- dynamic programming
- asynchronous circuits
- optimal policy
- agent oriented
- reasoning process
- learning capabilities
- action selection
- particle filter
- signature verification
- cognitive agents
- reinforcement learning algorithms
- domain independent
- face verification
- learning algorithm