Search Results for author: Prasita Mukherjee

Found 2 papers, 0 papers with code

Date Published Github Stars

OCTAL: Graph Representation Learning for LTL Model Checking

no code implementations • 19 Aug 2023 • Prasita Mukherjee, Haoteng Yin

Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification.

Binary Classification Graph Representation Learning

 
Paper
Add Code

OCTAL: Graph Representation Learning for LTL Model Checking

no code implementations • 24 Jul 2022 • Prasita Mukherjee, Haoteng Yin, Susheel Suresh, Tiark Rompf

Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification.

Binary Classification Graph Representation Learning

 
Paper
Add Code
Cannot find the paper you are looking for? You can Submit a new open access paper.
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy