ResearchBenchmarksAutomata Learning on ProdCons K=5,P=2,C=1Follow0.93TimeCoal0.85561.35781.862.3622Apr 23, 2025Evaluation ResultsMethodMethodLinksTimeMemory Usage (MemQ)Equality Query Count (eqQ)IterationsCompletion Count (com)Coalstates=662states=6622025.040.9315813—4CoalAstates=662states=6622025.041.5937924174L*states=662states=6622025.042.79291——