search

adl / hoaf

Hanoi Omega-Automata Format
13 stars 2 forks source link

stutter-invariant property #28

Closed adl closed 10 years ago

adl commented 10 years ago

Joachim suggests we support a stutter-invariant property.

Some algorithms (like ltl2dstar's Safra's implementation) can be improved on such automata.

Makes sense to me.

xblahoud commented 10 years ago

Yes.