Takenobu Aoshima

Publication Activity (10 Years)

Years Active: 2000-2020
Publications (10 Years): 4

Top Topics

Decentralized Control

Spatially Distributed

Infinite Horizon

Top Venues

Publications

Takeshi Kano, Eiichi Naito, Takenobu Aoshima, Akio Ishiguro
Decentralized Control for Swarm Robots That Can Effectively Execute Spatially Distributed Tasks. Artif. Life 26 (2) (2020)
Takeshi Kano, Eiichi Naito, Takenobu Aoshima, Akio Ishiguro
Engineering Application of Non-Reciprocal-Interaction-Based (NRIB) Model: Swarm Robotic System That Can Perform Spatially Distributed Tasks in Parallel. ALIFE (2019)
Takeshi Kano, Naoki Matsui, Eiichi Naito, Takenobu Aoshima, Akio Ishiguro
Swarm Robots Inspired by Friendship Formation Process. CoRR (2018)
Masashi Okada, Luca Rigazio, Takenobu Aoshima
Path Integral Networks: End-to-End Differentiable Optimal Control. CoRR (2017)
Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. Electron. Notes Theor. Comput. Sci. 266 (2010)
Takenobu Aoshima, Kenji Sakuma, Naoki Yonezaki
An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications. IWPSE (2001)
Takenobu Aoshima, Naoki Yonezaki
An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications. EJC (2000)