Transformation-based model checking temporal trust in multi-agent systems

for conditional trust. Then, we introduce sound and complete transformation-based algorithms that automatically transform the problem of model checking TCTL and TCTL into the problem of model checking CTL. Moreover, we prove that although TCTL and TCTL formulae.