VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.
http://ltlmop.github.io
GNU General Public License v3.0
56 stars 69 forks source link

BasicSimInitHandler -> initial region cannot be defined #95

Closed RyeNawlage closed 6 years ago

RyeNawlage commented 6 years ago

Hello guys,

I've got a problem during the configure my robot tutorial step. When I click on the Configure... button the window does not open. I did everything according to the tutorial, but this step seems to fail.

-> I've already set the regions so this should be alright. The map can be loaded into the editor and the regions are available within the "Regions:" window of the the editor.

Does anybody have a clue what I am missing here?

Thousand thanks in advance,