Kyushu University · Graduate School of Information Science and Electrical Engineering / Faculty of Information Science and Electrical Engineering · 助教

Research keywordsソフトウェア工学・ニューラルネットワーク検証・形式手法・時相論理

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

• META²V2V: Revealing Behavioural Deviations under Mutual Perception in Multi-Vehicle Autonomous Driving2026 · The 48th International Conference on Software Engineering (ICSE 2026)
• Mining Verdict Boundaries for Neural Network Verification2026 · International Symposium on Formal Methods
• On Synthesis of Timed Regular Expressions2025 · 2025 IEEE Real-Time Systems Symposium (RTSS)
• Control Synthesis of Cyber-Physical Systems for Real-Time Specifications Through Causation-Guided Reinforcement Learning2025 · 2025 IEEE Real-Time Systems Symposium (RTSS)

• 安全な物理情報システムのための反例解釈の理論と実装2025 · 研究課題/領域番号： 25K21179 2025年4月 - 2028年3月
• 反例向き、効率と保証を両立するニューラルネットワーク検証技術の開発2025 · 研究課題/領域番号： JPMJBY24D7 2025年6月 - 2030年5月
• 信号時相論理の細粒度モニタリング及び物理情報システム品質保証への応用2023 · 研究課題/領域番号： 23K16865 2023年4月 - 2025年3月
• AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究2023 · 研究課題/領域番号： 23H03372 2023年4月 - 2026年3月

• Official profile