Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing.
Francesco BelardinelliIoana BoureanuCatalin DimaVadim MalvonePublished in: AAMAS (2019)
Keyphrases
- data sharing
- multi agent systems
- private data
- public private
- homomorphic encryption
- distributed data
- data integration
- information sharing
- data access
- peer to peer
- case study
- multi agent
- government agencies
- cooperative
- complex systems
- semantic interoperability
- data privacy
- knowledge management
- privacy preserving
- privacy protection
- decision making
- interprocess communication
- model checking
- digital libraries
- sensitive data
- machine learning
- data sources
- high dimensional
- crisis response