yes, sorry, just realized that it works for other formulas:
here is the formula:
link:
https://spot.lrde.epita.fr/trans.html#f=((F+(b+%26%26+G+F+a)+%7C%7C+F(c+%26%26+G+F+!a))+%26%26+F+b+%26%26+F+c)+%3C-%3E+GF+p0&r=br&r=lf&r=si&r=eu&o=a&ff=o&mf=n&af=t&ra=t&rf=d&tf=a&t=l3&fm=od&fm=sm&ta=lc&lo=U&l3=l&l3=A&l3=P&l3=o&l3=p&l3=C&l3=M&l3=S&cs=s&as=ps&as=wd&ec=Cou99&eo=&to=m


formula:
((F (b && G F a) || F(c && G F !a)) && F b && F c) <-> GF p0



regards,
ayrat

On Thu, Jul 7, 2016 at 5:13 PM, Alexandre Duret-Lutz <adl@lrde.epita.fr> wrote:


On Thu, Jul 7, 2016 at 1:59 PM, Ayrat <ayrat.khalimov@iaik.tugraz.at> wrote:
hi there,


smth is wrong with online translator for LTL3BA -- see message below.
Thanks for amazing web-page!


​Dear Ayat,

Thank you for the report.  Do you remember what formula you translated?
​
(I tried a few formulas without being able to reproduce the error.)


_______________________________________________
Spot mailing list
Spot@lrde.epita.fr
https://lists.lrde.epita.fr/listinfo/spot