AEval
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/grigoryfedyukovich/aeval
下载链接
链接失效反馈官方服务：
资源简介：
该数据集概述了AEval求解器，它利用Z3进行功能合成，适用于从LTLt规格说明中合成静态控制器。此外，AEval期望输入的公式符合∀*∃*.φ的格式，这种格式适合于静态合成。该任务旨在为LTLt规格说明进行功能合成。
This dataset overviews the AEval solver, which utilizes Z3 for functional synthesis and is designed for synthesizing static controllers from LTLt specifications. AEval expects input formulas to conform to the ∀*∃*.φ format, which is suitable for static synthesis. This task focuses on functional synthesis for LTLt specifications.
提供机构：
Grigory Fedyukovich
