MengGuo

hello, you mean [this file](https://github.com/MengGuo/P_MAS_TG/blob/master/Intro/Examples/to_matlab/square_world.py)? the `.mat` file is generated for the product automata. I added that function as many colleagues want to use the generated product automata with their...

@LiuZesensengsheng where is the `agents_planner.py` script which you mentioned with a `contract_time` not defined?

It is on Python 2.7. But there is no much to change I think. If you migrate it to Python3, please send me a merge request.

Hello I think it's written in C++ Also, it feels unnecessary as we only need few geometric functions.

Thanks for the interest! For now, you may refter/cite the axiv version: https://arxiv.org/pdf/1706.05209.pdf The `edge` error is due to the incompatibility between networkx 1.x and networkx 2.0. `edge[][]` is not...

Hello, there is another executable `ltl2dstar` https://github.com/MengGuo/P_MDP_TG/blob/master/MDP_TG/ltl2dstar You may need the windows version for that also. nevertheless, switch to Linux/unix if possible as it would make your life much easier....

@hapoy9 @mingyucai @LiuZesensengsheng I can't verify this, but have you guys also compiled `ltl2dstar` for your OS? as mentioned [here](https://github.com/MengGuo/P_MDP_TG/blob/master/README.md#dependence)?

@SJTUGuofei it seems to be related your `ltl2ba` version. Make sure to compile under your OS from source.

Maybe you could contribute then.