MengGuo / P_MDP_TG

Planner for Markov Decision Processes with Temporal Goals

MengGuo/P_MDP_TG Issues

subprocess.CalledProcessError: Command 'echo "& G F base1 & G F base2 & G F base3 G ! obstacle" | /home/figo/P_MDP_TG/MDP_TG/ltl2dstar --ltl2nba=spin:/home/figo/P_MDP_TG/MDP_TG/ltl2ba --stutter=no - -' returned non-zero exit status 126.
Updated 2 years ago
AttributeError: Unable to retrieve attribute 'X' when using Gurobi
Closed 5 years ago
Inquiry about MDP.py
Closed 5 years ago
AttributeError: 'Motion_MDP' object has no attribute 'edge'
Updated 2 years ago9