Takushoku University · Graduate School of Engineering · 准教授

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Qualitative analysis of gene regulatory networks by temporal logic
• Efficient Realizability Checking by Modularization of LTL Specifications
• リアクティブシステム仕様を実現可能にするための環境制約の抽出
• Qualitative analysis of gene regulatory networks by temporal logic.

• 振る舞い仕様の効率的な実現可能性判定のための分割検証法
• 効率的なωオートマトン操作法と非制限的仕様検証への応用
• 非近似的アプローチによるリアクティブシステム仕様の効率的な実現可能性判定法

• Official profile