September 15, 2020
Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowle...
Amirhoshang Hoseinpour Dehkordi , Majid Alizadeh , Ali Movaghar , et al.
June 13, 2022
Meet MASKS: A novel Multi-Classifier’s verification approach
Amirhoshang Hoseinpour Dehkordi , Majid Alizadeh , Ebrahim Ardeshir-Larijani , et al.