Learning Non Deterministic Systems

Wiki page still in construction. On high level, learning procedure is the same as for deterministic and non-deterministic systems.

• Implement a SUL interface. With it learning algorithm will query the system.
• Choose an Eq. Oracle (either Random Walk or Random Word)
• Setup the learning algorithm

Please follow the instruction found here and on other related Wiki pages.

Learning has no knowledge about SUL's structure (black-box). It only queries the SUL.