vincekurtz / ltl_gcs

Linear Temporal Logic Motion Planning with Graphs of Convex Sets
MIT License
40 stars 1 forks source link

Issues about multi_uav ltl motion planning #1

Closed jijiking-hh closed 1 year ago

jijiking-hh commented 1 year ago

Hello author, your repository is about path planning under the temporal logic constraints of robots. Do you have any recommended papers on multi machine robot systems?Thanks!

jijiking-hh commented 1 year ago

2023-09-07 16-33-20屏幕截图 There was no error reported, but there was an error in the above image. I only have Mona that has not been prepared yet. May I ask if the author knows the reason for the above error.

jijiking-hh commented 1 year ago

Now that I have prepared Mona, I can basically confirm the three mosek issues. May I know where to put the license specifically

aaasss0826 commented 1 year ago

May I ask if the author knows the reason for the above error.

vincekurtz commented 1 year ago

I suspect the error has to do with Mona not being properly installed.

As far as MOSEK goes, the mosek.lic license file usually goes somewhere like ~/mosek/mosek/lic. See the Drake documentation for more details.

zhiqiuyuan commented 4 months ago

I suspect the error has to do with Mona not being properly installed.

As far as MOSEK goes, the mosek.lic license file usually goes somewhere like ~/mosek/mosek/lic. See the Drake documentation for more details.

Thanks! It solves my problem. After downloading the source code of mona from https://www.brics.dk/mona/download.html and installing it (following the instructions in the INSTALL file in the repo), and restarting my server, the problem is solved!