P_MDP_TG
P_MDP_TG copied to clipboard
MengGuo
Planner for Markov Decision Processes with Temporal Goals
您好！请您原谅我用中文向您请教一些问题，担心自己英文无法描述清楚自己的问题。对您这个项目比较感兴趣，但是查阅您谷歌学术的论文也没有找到该项目对应的论文，您能提供一下该项目的相关论文吗？此外，我在运行此项目的test_example.py时，产生一下错误： `Traceback (most recent call last): File "test_example.py", line 61, in motion_mdp = Motion_MDP(node_dict, edge_dict, U, initial_node, initial_label) File "C:\Users\keyan\Desktop\P_MDP_TG-master\P_MDP_TG-master\MDP_TG\mdp.py", line 16, in __init__ self.add_edges(edge_dict, U) File "C:\Users\keyan\Desktop\P_MDP_TG-master\P_MDP_TG-master\MDP_TG\mdp.py", line 41,...
-------Motion MDP Initialized------- -------Motion MDP Constructed------- 100 states and 816 edges Unify MDP Done MDP done, time: 0.0062754154205322266 /home/figo/P_MDP_TG/MDP_TG/ltl2dstar /bin/sh: 1: /home/figo/P_MDP_TG/MDP_TG/ltl2dstar: Exec format error Traceback (most recent call last):...
