Temporal Verification of Probabilistic Multi-Agent Systems.
Michael I. DekhtyarAlexander Ja. DikovskyMars K. ValievPublished in: Pillars of Computer Science (2008)
Keyphrases
- multi agent systems
- spatio temporal
- temporal context
- bayesian networks
- temporal information
- spatial and temporal
- multi agent
- agent architecture
- model checking
- autonomous agents
- game theory
- distributed problem solving
- coalition formation
- probabilistic model
- probabilistic logic
- temporal data
- agent systems
- temporal relations
- signature verification
- context sensitive
- temporal patterns
- data driven
- uncertain data
- agent technology
- posterior probability
- software agents
- information theoretic
- space time
- generative model
- temporal dimension
- agent based modeling
- distributed systems
- multi agent reinforcement learning
- temporal behavior