Dear Sir(Madam):

   When I use the SPOT tool online recently I found the truth that the result Buchi automata for such formulas G(F a && F b) from your tool is not a traditional one. Can you explain why?  Thank you very much!

Best

Jianwen Li