Prasita Mukherjee | DeepAI

DeepAI

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

Featured Co-authors

Suresh Jagannathan
18 publications
Tiark Rompf
12 publications
Kartik Nagar
8 publications
Haoteng Yin
8 publications
Susheel Suresh
5 publications

research

∙ 07/24/2022

OCTAL: Graph Representation Learning for LTL Model Checking

Model Checking is widely applied in verifying the correctness of complex...

0 Prasita Mukherjee, et al. ∙

research

∙ 10/28/2021

A GNN Based Approach to LTL Model Checking

Model Checking is widely applied in verifying complicated and especially...

0 Prasita Mukherjee, et al. ∙

research

∙ 04/21/2020

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems

Geo-replicated systems provide a number of desirable properties such as ...

0 Kartik Nagar, et al. ∙