An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications. - Takenobu Aoshima; Naoki Yonezaki (EJC, 2000)

An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications. - Takenobu Aoshima; Kenji Sakuma; Naoki Yonezaki (IWPSE, 2001)

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. - Tuan-Hung Pham; Anh-Hoang Truong; Wei-Ngan Chin; Takenobu Aoshima (TTSS, 2009)

Path Integral Networks: End-to-End Differentiable Optimal Control. - Masashi Okada; Luca Rigazio; Takenobu Aoshima (CoRR, 2017)

Swarm Robots Inspired by Friendship Formation Process. - Takeshi Kano; Naoki Matsui; Eiichi Naito; Takenobu Aoshima; Akio Ishiguro (CoRR, 2018)

Engineering Application of Non-Reciprocal-Interaction-Based (NRIB) Model: Swarm Robotic System That Can Perform Spatially Distributed Tasks in Parallel. - Takeshi Kano; Eiichi Naito; Takenobu Aoshima; Akio Ishiguro (ALIFE, 2019)

Decentralized Control for Swarm Robots That Can Effectively Execute Spatially Distributed Tasks. - Takeshi Kano; Eiichi Naito; Takenobu Aoshima; Akio Ishiguro (Artif. Life, 2020)