ガベイの分離アルゴリズムが無限に爆発する式のファミリー

Gabbayのアルゴリズムが LTLとSinceとUntilとの分離は、非発作のブローアップ
数式のサイズの、私はこれの証拠を見たことがない。

私は、この不本意なブローアップを示す数式のファミリーを探しています。またはこれの他の証拠。

ベストアンサー
申し訳ありませんが、適切な答えはありません

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です