Probabilistic Verification of a Decentralized Policy for Conflict Resolution in Multi-agent Systems.
Lucia PallottinoVincenzo Giovanni ScordioEmilio FrazzoliAntonio BicchiPublished in: ICRA (2006)
Keyphrases
- conflict resolution
- access control policies
- multi agent systems
- resolve conflicts
- multi agent
- cross organizational
- extended logic programs
- cooperative
- resolving conflicts
- probabilistic model
- bayesian networks
- autonomous agents
- security policies
- peer to peer
- distributed systems
- model checking
- intelligent agents
- exception handling
- information sharing
- access control