Vrunda Dave | DeepAI

DeepAI

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

Featured Co-authors

Ashutosh Trivedi
26 publications
Parosh Aziz Abdulla
10 publications
Mohamed Faouzi Atig
9 publications
Shankara Narayanan Krishna
7 publications
Taylor Dohmen
4 publications
Shankara Narayana Krishna
1 publication

research

∙ 05/18/2020

On the Separability Problem of String Constraints

We address the separability problem for straight-line string constraints...

0 Parosh Aziz Abdulla, et al. ∙

research

∙ 10/20/2019

MSO-Definable Regular Model Checking

Regular Model Checking (RMC) is a symbolic model checking technique wher...

0 Vrunda Dave, et al. ∙