Artifacts for Paper: Mutating Skeletons - Learning Timed Automata via Domain Knowledge

This repository contains artifacts and learning results for the paper Mutating Skeletons - Learning Timed Automata via Domain Knowledge. It also contains the scripts necessary to generate the figures and table from the included learning results.本仓库收录了论文《变异骨架——基于领域知识学习时间自动机（Timed Automata）》的相关附属研究工件与学习成果。同时，本仓库还提供了用于基于所附学习结果生成论文配图与表格的配套脚本。