Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
收藏NIAID Data Ecosystem2026-03-14 收录
下载链接：
https://zenodo.org/record/6379555
下载链接
链接失效反馈官方服务：
资源简介：
This is the artefact for the paper "Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games".
The files in this package aim to assist you in running Kaki and generating the results presented in the paper. The details on running Kaki, generating the problems and reproducing the results can be read in the README.md file.
创建时间：
2022-10-28
