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