State Identification for Labeled Transition Systems with Inputs and Outputs: ...
收藏B2FIND2026-04-29 收录
下载链接：
https://b2find.eudat.eu/dataset/77aaa6bb-8d61-53e1-8210-61fac11042ff
下载链接
链接失效反馈官方服务：
资源简介：
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...
