エージェントインタラクショエージェントインタラクション分析エージェント間の責任と協力を評価する。計算機科学における論理マルチエージェントシステムにおけるエージェントの相互作用分析エージェント間の協力と責任を評価するための正式なアプローチ。2025-09-21T23:07:48+00:00 ― 0 分で読む
時間論理とオートマトン理論時間論理とオートマトン理論の出会い。ソフトウェア検証のための効率的な翻訳方法形式言語とオートマトン理論時間論理をオートマトンに翻訳する過去演算子を持つ線形時間論理を決定性ラビン自動機に翻訳する方法。2025-08-14T08:51:18+00:00 ― 1 分で読む