Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents.
Zining CaoPublished in: MICAI (2006)
Keyphrases
- real time
- multi agent systems
- multi agent
- cooperative
- temporal properties
- distributed problem solving
- epistemic logic
- decision making
- model checking
- incomplete information
- temporal evolution
- multiple agents
- multiagent systems
- autonomous agents
- intelligent agents
- temporal information
- agent based simulation
- temporal characteristics
- communicating agents
- agent cooperation
- automated negotiation
- agent systems
- temporal constraints
- temporal reasoning
- software agents
- spatio temporal
- cooperative search
- temporal data
- agent architecture
- incomplete knowledge
- cooperative behavior
- human agent interaction
- uncertain information
- possibility theory
- agent model
- changing environment
- agent technology
- dynamic environments