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.

Verifying Temporal Trust Logic using CTL Model Checking

Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej. Verifying Temporal Trust Logic using CTL Model Checking. In Robin Cohen, Murat Sensoy, Timothy J. Norman, editors, Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, Stockholm, Sweden, July 14, 2018. Volume 2154 of CEUR Workshop Proceedings, pages 62-74, CEUR-WS.org, 2018. [doi]

Authors

Nagat Drawel

This author has not been identified. Look up 'Nagat Drawel' in Google

Jamal Bentahar

This author has not been identified. Look up 'Jamal Bentahar' in Google

Mohamed El-Menshawy

This author has not been identified. Look up 'Mohamed El-Menshawy' in Google

Amine Laarej

This author has not been identified. Look up 'Amine Laarej' in Google
runs on