Pinned Repositories
strejcek's Repositories
strejcek/hoaf
Hanoi Omega-Automata Format
strejcek/ltl3tela
LTL3TELA is a translator of LTL formulae to omega-automata with generic acceptance condition.
Hanoi Omega-Automata Format
LTL3TELA is a translator of LTL formulae to omega-automata with generic acceptance condition.