0

我已经使用 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 但没有太大帮助。有人能帮帮我吗 ？

4

1 回答 1

2

我不完全确定您的问题是什么，但在最近的可重复性包中给出了一些使用示例： https ://zenodo.org/record/3268381

策略本身就很大，因为它们涉及整个状态空间 - 当前的文本输出格式也不紧凑。

如果您正在寻找解析（学习）策略的方法，请查看https://github.com/DEIS-Tools/libstrategy/

于 2020-09-03T12:10:08.273 回答