Abolfazl Lavaei | DeepAI

DeepAI

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

Featured Co-authors

Alessandro Abate
52 publications
Ashutosh Trivedi
26 publications
Sadegh Soudjani
17 publications
Majid Zamani
11 publications
Fabio Somenzi
8 publications

research

∙ 01/19/2021

Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey

Stochastic hybrid systems have received significant attentions as a rele...

0 Abolfazl Lavaei, et al. ∙

research

∙ 03/02/2020

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning

A novel reinforcement learning scheme to synthesize policies for continu...

0 Abolfazl Lavaei, et al. ∙