ロバストな計算木論理【JST・京大機械翻訳】

Nayak Satya Prakash; Neider Daniel; Roy Rajarshi; Zimmermann Martin

プレプリント

J-GLOBAL ID：202202206073410675 整理番号：22P0276276

ロバストな計算木論理【JST・京大機械翻訳】

Robust Computation Tree Logic

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2022年01月18日プレプリントサーバーでの情報更新日： 2023年10月24日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

あらゆるシステムは,環境仮定の「少な違反が,システムの保証の「小な違反をもたらすので,ロバストであるべきであることは広く受け入れられているが,しかし,数学的にこの直感を数学的に精密にする方法は,より明確でない。線形時間論理(LTL)に対するロバスト性の概念を提供するために,重要な努力が払われてきたが,計算ツリー論理(CTL)およびCTL ̄*のような分岐時間論理は,この点であまり注目されていない。この短所に取り組むために,著者らは,ロバストCTL(rCTL)とロバストCTL*(rCTL*)を名付けるCTLとCTL*の「roな拡張を開発し,両方の拡張は,それらの親論理と構文的に類似しているが,しかし,仕様の「大と「小」違反を区別するために多値意味論を採用した。著者らは,rCTLの多値意味論がCTLよりそれをより表現し,一方,rCTL*はCTL*として表現的であることを示した。さらに,著者らは,モデル検査問題,充足可能性問題,およびrCTLとrCTL*のための合成問題が,それらの非ロバスト対応物と同じ漸近複雑性を持ち,ロバスト性が自由のための分岐時間論理に追加できることを意味した。【JST・京大機械翻訳】

, , , , , , ,
, , , 【Automatic Indexing@JST】

論理代数 , 人工知能 , 計算理論

前のページに戻る