Takenobu Aoshima

According to our database, Takenobu Aoshima authored at least 7 papers between 2000 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Decentralized Control for Swarm Robots That Can Effectively Execute Spatially Distributed Tasks.

Takeshi Kano, Eiichi Naito, Takenobu Aoshima, Akio Ishiguro

Artif. Life, 2020

2019

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

Proceedings of the 2019 Conference on Artificial Life, 2019

2018

Swarm Robots Inspired by Friendship Formation Process.

Takeshi Kano, Naoki Matsui, Eiichi Naito, Takenobu Aoshima, Akio Ishiguro

CoRR, 2018

2017

Path Integral Networks: End-to-End Differentiable Optimal Control.

Masashi Okada, Luca Rigazio, Takenobu Aoshima

CoRR, 2017

2009

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion.

Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

2001

An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications.

Takenobu Aoshima, Kenji Sakuma, Naoki Yonezaki

Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001

2000

An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications.

Takenobu Aoshima, Naoki Yonezaki

Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000