print · source · login   

Toy models

Description

This benchmark contains toy Mealy machine models from several papers: [Vaa17], [LY96],[Naik97].