External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Privacy Verification in POMDPs via Barrier Certificates

Mohamadreza Ahmadi, Bo Wu 0005, Hai Lin 0002, Ufuk Topcu. Privacy Verification in POMDPs via Barrier Certificates. In 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018. pages 5610-5615, IEEE, 2018. [doi]

Authors

Mohamadreza Ahmadi

This author has not been identified. Look up 'Mohamadreza Ahmadi' in Google

Bo Wu 0005

This author has not been identified. Look up 'Bo Wu 0005' in Google

Hai Lin 0002

This author has not been identified. Look up 'Hai Lin 0002' in Google

Ufuk Topcu

This author has not been identified. Look up 'Ufuk Topcu' in Google
runs on