M. Ali Dorosty | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Ehsan Khamespanah
7 publications
Fathiyeh Faghih
5 publications

research

∙ 12/16/2019

Decentralized Runtime Verification for LTL Properties Using Global Clock

Runtime verification is the process of verifying critical behavioral pro...

0 M. Ali Dorosty, et al. ∙

research

∙ 12/16/2019

Decentralized Runtime Verification for LTL Properties Using Global

Runtime verification is the process of verifying critical behavioral pro...

0 M. Ali Dorosty, et al. ∙