AIDE Programmers' Documentation

Thanks to Doxygen, the documentation is provided as a PDF file and you can download it from here.

AIDE User Guide

There is a short user guide on how to use AIDE here.

Identification of Non-deterministic Mealy machines

You can find the report on the theory of identification of non-deterministic Mealy machine by N* algorithm here.

Last edited Jul 3, 2014 at 1:47 PM by ali_khalili, version 8