1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 1 cited
OCTAL: Graph Representation Learning for LTL Model Checking
Prasita Mukherjee, Haoteng Yin, Susheel Suresh +1
Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification. Pure symbolic approaches while popular, still suffer from t…
cs.AI2016★ 1 cited
Embedded Bandits for Large-Scale Black-Box Optimization
Abdullah Al-Dujaili, S. Suresh
Random embedding has been applied with empirical success to large-scale black-box optimization problems with low effective dimensions. This paper proposes the EmbeddedHunter algori…