読んだ論文についてメモ． 1.Fast LTL to Buchi Automata Translation LTL -> Alternating Buchi Automata -> Generalized Buchi Automata -> Buchi Automata ABAからGBAへの変換はABAがvery weakという性質を持つために可能らしい． 各ステップでオートマト…