ltlf-assum:为我的论文提供实施和案例研究（待发表）

ltass-assum 安装 我们使用将LTLf公式转换为DFA。检查网站以获取安装说明，或尝试使用apt安装。 sudo apt install mona 用于随机游戏的所有计算。检查他们的以获取构建说明。 我们使用Py4J创建一个Java网关，以便访问PRISM-games Java API。检查以获取有关如何扩展Java类路径以包括PRISM .class文件和.jars的更多信息。 pip3 install py4j 其他依赖 sudo apt install graphviz pip3 install networkx ltlf2dfa pygraphviz 运行代码 为了运行代码，首先启动Java PRISM处理程序。通过扩展CLASSPATH或使用-cp选项，确保您的类路径包含py4j和PRISM-games .class文件和.jars。 cd prismhandle