Build TGTA from the LTL formula
Adjusting Couvreur's translation to produce TGTA directly seems doable. Can it be done in a way that avoid duplicating the code completely?
Adjusting Couvreur's translation to produce TGTA directly seems doable. Can it be done in a way that avoid duplicating the code completely?