M. Ali Dorosty | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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. ∙