総合研究大学院大学 · 国立情報学研究所

研究キーワードhybrid systems monitoring・formal verification・quantitative temporal inference・mean payoff games・weighted finite automata・cyber-physical systems

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Compositional Solution of Mean Payoff Games by String Diagrams. DOI: 10.1007/978-3-031-75778-5_20 出版年: 2024 ジャーナル名: Principles of Verification (3) URL: https://researchmap.jp/read0136635/published_papers/494256032024 · 論文一覧（最新5件）
• A Unifying Approach to Product Constructions for Quantitative Temporal Inference. DOI: 10.48550/arXiv.2407.10465 出版年: 2024 ジャーナル名: CoRR URL: https://researchmap.jp/read0136635/published_papers/488212572024 · 論文一覧（最新5件）
• Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control. DOI: 10.48550/arXiv.2409.08607 出版年: 2024 ジャーナル名: CoRR URL: https://researchmap.jp/read0136635/published_papers/488212592024 · 論文一覧（最新5件）
• Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. DOI: 10.48550/arXiv.2407.09775 出版年: 2024 ジャーナル名: CoRR URL: https://researchmap.jp/read0136635/published_papers/488212562024 · 論文一覧（最新5件）

• 圏論と数理論理学によるものづくりサポート―ソフトウェア科学のシステム工学への移転 2015-2019 キーワード: 物理情報システム, 形式検証, テスト, ハイブリッドシステム, 数理論理学, 統計的機械学習, 圏論, プログラム理論, モデルベース開発, 不動点論理, システム工学, 応用数学 URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15KT0012/2015 · 研究課題一覧（最新5件）
• 相互作用の幾何の確率拡張――圏論的意味論からビッグデータへ 2015-2018 キーワード: プログラミング言語理論, 確率的プログラミング言語, 高階計算, プログラム検証, 確率的システム, 確率的システム検証, 統計的機械学習, 表示的意味論, 操作的意味論, 抽象機械, 確率的プログラミング, 圏論, 線形論理 URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K11984/2015 · 研究課題一覧（最新5件）
• 新パラダイム計算をねじふせる―多様な意味論的手法の合同・発展・応用 2012-2015 キーワード: 新パラダイム計算, 計算の意味論, プログラミング言語, 形式検証, 物理情報システム, 量子計算, 関数型プログラミング, 圏論, プログラム理論, システム検証, ハイブリッドシステム, 不動点論理, 応用数学, 国際研究者交流（フランス）, 国際研究者交流（イタリア）, 国際情報交換（イタリア）, 国際情報交換（オランダ） URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24680001/2012 · 研究課題一覧（最新5件）
• ストーン双対性と小宇宙原理による,モジュラーなシステム検証の一般理論 2011-2012 キーワード: システム検証, ソフトウェア学, 数学基礎論, 数理論理学, 応用数学, 余代数, 圏論的論理, 不動点論理, 圏論, 仕様記述, 国際研究者交流 オランダ, 国際研究者交流 イギリス, 国際研究者交流 ポーランド, 国際研究者交流 オーストリア URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23654033/2011 · 研究課題一覧（最新5件）

• 公式プロフィール