Transformation-based model checking temporal trust in multi-agent systems
Transformation-based model checking temporal trust in multi-agent systems is a scholarly work, published in 2022 in ''Journal of Systems and Software''. The main subjects of the publication include automaton, path, programming language, logic programming, formal verification, theoretical computer science, transformation, computer science, multi-agent system, scalability, Trust management, computation tree logic, model checking, algorithm, temporal logic, and agent-based model. The authors address this challenge by proposing a formal and fully automatic model checking technique for two temporal logics of trust.