ResearchBenchmarksAutomata Learning on ProdCons K=5,P=3,C=2Follow6.33TimeCoal3.668421.634239.657.5658Apr 23, 2025Evaluation ResultsMethodMethodLinksTimeMemory Usage (memQ)Query Count (eqQ)Iteration Count (it.)Completion Count (com)Coalstates=8 750states=8 7502025.046.3360415—6CoalAstates=8 750states=8 7502025.0417.82131306L*states=8 750states=8 7502025.0472.8760187——