TY  - RPRT
TI  - OCTAL: Graph Representation Learning for LTL Model Checking
AU  - Prasita Mukherjee
AU  - Haoteng Yin
AU  - Susheel Suresh
AU  - Tiark Rompf
PY  - 2022
UR  - https://arxiv.org/abs/2207.11649
ID  - 2207.11649
ER  -