Re: [tulip-control-users] [TuLiP discuss] A problem about The Temporal Logic Planning (TuLiP) toolbox

[Scott C. L. <sco...@gm...>]

(moving this discussion to the users mailing list)

Unless I missed something, this is not "a problem" in the sense that
strategies are correct. However, they contain edges that will not be
traversed during feasible plays.

Did you find that the strategy is not winning with respect to the game?

~Scott


El sáb., 23 de mar. de 2019 a la(s) 12:37, Tierui HE
(th...@co...) escribió:
>
> Dear TuLiP project members,
>
> I am HE, Tierui, a PhD student in the Hong Kong University of Science and Technology. I have just tried The Temporal Logic Planning (TuLiP) toolbox and encountered a problem. For the file "controlled_switching.py" in the "examples" folder on GitHub, if I changed initial condition of the environment to "env_init = {'!park'}", I have tried to change "specs.qinit" to "'\E \E' ", "'\E \A' " or "'\A \E' ", but in some routes of the results, the initial value of 'park' is still True as underlined with red lines in the attached figure. How can I set the initial value of 'park' to False? Thank you very much.
>
> Best regards,
>
> Tierui
>
> _______________________________________________
> tulip-control-discuss mailing list
> tul...@li...
> https://lists.sourceforge.net/lists/listinfo/tulip-control-discuss