線形不等式を対象とした一階述語論理の限定記号消去の計算

スポンサーリンク

概要

論文の詳細を見る
本論文では、実数上の線形不等式を対象とした一階述語論理の限定記号消去の計算のアルゴリズムについて述べる。本アルゴリズムはハイブリッドシステムのモデル検査などにおいて重要な役割を果たす。また、本アルゴリズムをJava言語で実装したので、それも報告する。
2011-04-15

著者

関連論文

スポンサーリンク