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 pi