Japan Advanced Institute of Science and Technology · Graduate School of Information Science · 特任助教

Research keywordsハイブリッドシステム・分散ロボティクス・無人航空機交通管理・形式手法・検証

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

• Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 1-11, 20252025 · 発表論文
• Proceedings of the ACM on Programming Languages, 7, OOPSLA2, 2196-2223, 20232023 · 発表論文
• IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41, 11, 4205-4216, 20222022 · 発表論文
• 2021 IEEE International Intelligent Transportation Systems Conference (ITSC), 372-379, 20212021 · 発表論文

• Official profile