ResearchBenchmarksAutomata Learning on ProdCons K=5,P=2,C=2Follow2.35TimeCoal2.1883.28154.3755.4685Apr 23, 2025Evaluation ResultsMethodMethodLinksTimeMemQ CountEqQ CountIteration CountCompletion CountCoalstates=2 240states=2 2402025.042.3528214—5CoalAstates=2 240states=2 2402025.045.5369728255L*states=2 240states=2 2402025.046.4693——