ResearchBenchmarksAutomata Learning on ProdCons K=5,P=1,C=1Follow0.4TimeL*0.37480.54490.7150.8851Apr 23, 2025Evaluation ResultsMethodMethodLinksTimeMemory Usage (memQ)Equal Query Count (eqQ)Iteration Count (it.)Complementary Query Count (com)L*states=170states=1702025.040.416030——Coalstates=170states=1702025.040.8811811—3CoalAstates=170states=1702025.041.0345122143