Pranav Ghorpade

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Formal Verification

Nash Equilibrium

Monte Carlo Tree Search

Top Venues

Publications

Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic
Reusable Formal Verification of DAG-based Consensus Protocols. CoRR (2024)
Guy Avni, Pranav Ghorpade, Shibashis Guha
A Game of Pawns. CONCUR (2023)
Guy Avni, Pranav Ghorpade, Shibashis Guha
A Game of Pawns. CoRR (2023)