Verification and Planning in Agent-Based Systems.
Flora AmatoAntonino MazzeoFrancesco MoscatoDario PianesePublished in: SITIS (2015)
Keyphrases
- agent based systems
- agent systems
- multi agent systems
- dynamic environments
- software agents
- agent technology
- distributed systems
- model checking
- reference architecture
- decision support
- multiagent systems
- planning problems
- stochastic domains
- formal verification
- heuristic search
- verification method
- future directions
- signature verification
- goal oriented
- ai planning
- production planning
- domain independent
- expert systems