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]
Abstract is missing.