Commit feee32e4 authored by Paul Fiterau Brostean's avatar Paul Fiterau Brostean
Browse files


parent 726baab2
......@@ -131,7 +131,7 @@ algorithm only works on Mealy machines and requires resets.
Learning randomly generated Mealy machines without reset
Z3GI can be used to learn randomly generated MealyMachines without reset with the
Z3GI can be used to learn without reset randomly generated Mealy machines with the
property that they are strongly connected (though not necessarily minimal).
Say we want to learn a randomly generated Mealy machine with 2 inputs, 2 outputs
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment