2006-12-26から1日間の記事一覧
どうも "From PSL to NBA: a Modular Symbolic Encoding" によると。LTLはTableau法にてautomatonになるけども、PSLはLTLを拡張している からABA(Alternating Buchi Automata:universal and existential branchingが特徴)になるんだけども。 これをNBA(Non-d…
どうも "From PSL to NBA: a Modular Symbolic Encoding" によると。LTLはTableau法にてautomatonになるけども、PSLはLTLを拡張している からABA(Alternating Buchi Automata:universal and existential branchingが特徴)になるんだけども。 これをNBA(Non-d…