Picture for Prasita Mukherjee

Prasita Mukherjee

OCTAL: Graph Representation Learning for LTL Model Checking

Add code
Aug 19, 2023
Viaarxiv icon