SCRK16 / OLStar

Output-decomposed Learning of Mealy Machines based on L*

Geek Repo

Github PK Tool