-
State Identification for Labeled Transition Systems with Inputs and Outputs: ...
The data set contains source code and an executable for computing adaptive distinguishing tests. Also, it contains dot-files representing the labeled transition systems of the...
