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