MASKS: A Multi-Artificial Neural Networks System's verification approach. - Amirhoshang Hoseinpour Dehkordi; Majid Alizadeh; Ebrahim Ardeshir-Larijani; Ali Movaghar 001 (CoRR, 2020)

Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers. - Amirhoshang Hoseinpour Dehkordi; Majid Alizadeh; Ali Movaghar 001 (CoRR, 2020)

Meet MASKS: integrating distributed knowledge and verification for multi-agent systems. - Majid Alizadeh; Amirhoshang Hoseinpour Dehkordi; Ali Movaghar 001 (Soft Comput., 2025)