Milad Kazemi | DeepAI

DeepAI

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

Featured Co-authors

Sadegh Soudjani
17 publications
Nicola Paoletti
16 publications

research

∙ 12/16/2022

Towards Causal Temporal Reasoning for Markov Decision Processes

We introduce a new probabilistic temporal logic for the verification of ...

25 Milad Kazemi, et al. ∙

research

∙ 05/04/2020

Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning

This paper studies data-driven techniques for satisfying temporal proper...

0 Milad Kazemi, et al. ∙