[NAME] ltl2tgba \- translate LTL/PSL formulas into Büchi automata [DESCRIPTION] .\" Add any additional description here
