プレプリント
J-GLOBAL ID:202202221254390888   整理番号:21P0034687

均質仮定の下でのサブインターバルの論理のための充足可能性とモデル検査【JST・京大機械翻訳】

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
著者 (5件):
資料名:
発行年: 2020年06月08日  プレプリントサーバーでの情報更新日: 2022年01月31日
JST資料番号: O7000B  資料種別: プレプリント
記事区分: プレプリント  発行国: アメリカ合衆国 (USA)  言語: 英語 (EN)
※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
区間時間論理(ITLs)の表現力は,複雑な反応系の仕様と検証から自動計画までの多くのアプリケーション領域における最も自然な選択の1つである。しかし,長い間,それらの高い計算量のため,それらは実際の目的に適していないと考えられた。いくつかの計算上良く行動したITLの最近の発見は,最終的にシナリオを変化させた。本論文では,均一仮定の下で,サブ間隔関係のための単一モダリティを持つITL Dに対する有限充足可能性とモデル検査問題を調べた。最初に,有限線形次数上のDに対する充足可能性問題はPSPACE完全であり,次に,有限Kripke構造上で,そのモデル検査問題に対して同じ保持を示した。そのような方法で,著者らは,新しい有意義な代表を有する扱いやすい間隔時間論理の集合を豊かにする。【JST・京大機械翻訳】
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
, 【Automatic Indexing@JST】
分類 (2件):
分類
JSTが定めた文献の分類名称とコードです
計算機システム開発  ,  論理代数 
タイトルに関連する用語 (5件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る