Liu Zesen

icon company PKU icon location A student in PKU, study for LTL planning for multi-agent system.

Results 1 comments of Liu Zesen

AttributeError: 'Motion_MDP' object has no attribute 'edge'

> @MengGuo 我已经将`ltl2dstar`替换为http://www.ltl2dstar.de/提供的Windows版本，运行才出现的那个问题，如果没有替换windows版本直接报subprocess.CalledProcessError错误，而不是抛出异常，难道是我版本问题吗？我用终端执行ltl2dstra语句是有结果返回的，附图是执行的结果，麻烦您看一下有问题吗？如果一直没有解决我会接受您的建议在ubuntu下面运行该程序。 > ![result](https://user-images.githubusercontent.com/16236178/33645034-b1a6f664-da83-11e7-8209-abdc61d5acce.png) Mr. Guo , I met the same question in Ubuntu and it seems that my ltl2dstar is correct.