stutter-invariant property on automata
Automata should have a stuter-invariant property that can be queried. The HOAF output would use it. Joachim would like to use it in ltl2dstar in the case where it reads HOA.
Automata should have a stuter-invariant property that can be queried. The HOAF output would use it. Joachim would like to use it in ltl2dstar in the case where it reads HOA.