Muqsit Azeem | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jan Křetínský
36 publications
Maximilian Weininger
16 publications
Kumar Madhukar
4 publications
Alexander Slivinskiy
3 publications
R Venkatesh
3 publications
Manish Goyal
3 publications
Alexandros Evangelidis
2 publications

research

∙ 07/29/2022

Optimistic and Topological Value Iteration for Simple Stochastic Games

While value iteration (VI) is a standard solution approach to simple sto...

0 Muqsit Azeem, et al. ∙

research

∙ 09/04/2021

Direct Construction of Program Alignment Automata for Equivalence Checking

The problem of checking whether two programs are semantically equivalent...

0 Manish Goyal, et al. ∙

Success!

An error occurred