Mahmoud Elfar | DeepAI

DeepAI

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

Featured Co-authors

Yu Wang
276 publications
Miroslav Pajic
29 publications

research

∙ 07/11/2020

Context-Aware Temporal Logic for Probabilistic Systems

In this paper, we introduce the context-aware probabilistic temporal log...

0 Mahmoud Elfar, et al. ∙

research

∙ 02/12/2019

Security-Aware Synthesis Using Delayed-Action Games

Stochastic multiplayer games (SMGs) have gained attention in the field o...

0 Mahmoud Elfar, et al. ∙