Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems
Z Ma, X Li, Z Liu, R Huang, N He - Fuzzy Sets and Systems, 2024 - Elsevier
Effective communication among autonomous agents is crucial for coordination and solving
complex tasks within multi-agent systems. To formalize interactions between agents, social …
complex tasks within multi-agent systems. To formalize interactions between agents, social …
Monitoring Strategies of a Company by the Model Checking-Based Business Process
H Ouaar - International Congress on Information and …, 2024 - Springer
An agile system design based on the agent and model checker paradigms is proposed in
this study to monitor the company's strategy. The proposed framework addresses tow levels …
this study to monitor the company's strategy. The proposed framework addresses tow levels …