Supplementary Material for "Learning Timed Automata via Genetic Programming"
收藏DataCite Commons2025-04-01 更新2024-07-27 收录
下载链接：
https://figshare.com/articles/dataset/Supplementary_Material_for_Learning_Timed_Automata_via_Genetic_Programming_/5513575/1
下载链接
链接失效反馈官方服务：
资源简介：
Content:<br>- GUI demonstrator implementing genetic programming of timed automata<br>- readme-file describing the demonstrator<br>- Graphviz dot-files of all timed automata used for the evaluation
提供机构：
figshare
创建时间：
2018-12-20
