问题描述
我已经使用Uppaal Stratego已有一段时间了。我已经使用verifyta cli生成了策略，并使用了--print-strategies pathtoShowStrategy文件之类的命令。 现在我制作的策略是416.56 Mb文本文件。
我使用--generate-strategy O生成了一些策略，并将打印结果保存在文件夹中。以下是我在cli中使用的内容。我的机器是Linux 64位操作系统（如果需要）
pathToVerifyta / verifyta --print-strategies文件夹位置/ --generate-strategy 0 pathToModelLocation。
输出文本文件似乎和原始文本一样大，即文件大小相同。我还尝试了颠倒--print-strategies和--generate-strategy，但是并没有太大帮助。有人可以帮我吗？
解决方法
我不确定您的问题是什么，但是最近的可重复性软件包中提供了许多使用示例： https://zenodo.org/record/3268381
由于策略涉及到整个状态空间，因此其本质上很大-并且当前的文本输出格式也不紧凑。
如果您正在寻找一种解析（学习）策略的方法，请查看https://github.com/DEIS-Tools/libstrategy/