Prasita Mukherjee

According to our database, Prasita Mukherjee authored at least 3 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

OCTAL: Graph Representation Learning for LTL Model Checking.

Prasita Mukherjee, Haoteng Yin

CoRR, 2023

2022

OCTAL: Graph Representation Learning for LTL Model Checking.

Prasita Mukherjee, Haoteng Yin, Susheel Suresh, Tiark Rompf

CoRR, 2022

2020

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

Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020