Privacy Verification in POMDPs via Barrier Certificates.
Mohamadreza AhmadiBo WuHai LinUfuk TopcuPublished in: CDC (2018)
Keyphrases
- reinforcement learning
- privacy preserving
- model checking
- personal information
- trusted third party
- partially observable markov decision processes
- private information
- security issues
- private data
- access control
- markov decision processes
- verification method
- privacy preservation
- privacy preserving data mining
- finite state
- privacy issues
- belief state
- public key
- location privacy
- statistical databases
- cryptographic protocols
- belief space
- privacy enhancing
- trust relationships
- formal verification
- signature verification
- sensitive information
- third party
- personal data
- partially observable
- formal methods
- face verification
- identity management
- privacy protection
- legal issues
- optimal policy
- distributed constraint optimization
- multi agent