Tsutomu Kumazawa

According to our database, Tsutomu Kumazawa authored at least 11 papers between 2008 and 2023.

Collaborative distances:

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

2023

Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization.

Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kodama, Yasushi Kambayashi

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection, 2023

2022

Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization.

Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi

J. Inf. Telecommun., 2022

Uncertainty Aware Model Integration on Reinforcement Learning.

Takashi Nagata, Jinwei Xing, Tsutomu Kumazawa, Emre Neftci

Proceedings of the International Joint Conference on Neural Networks, 2022

A safety checking algorithm with multi-swarm particle swarm optimization.

Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

2021

Exploration Strategies for Model Checking with Ant Colony Optimization.

Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi

Proceedings of the Computational Collective Intelligence - 13th International Conference, 2021

2019

Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts.

Tsutomu Kumazawa, Keiichiro Takada, Munehiro Takimoto, Yasushi Kambayashi

Swarm Evol. Comput., 2019

2018

A Fast Learning Recommender Estimating Preferred Ranges of Features.

Takuya Watanabe, Yuji Nakazato, Hiroaki Muroi, Takuya Hashimoto, Toru Shimogaki, Takeshi Nakano, Tsutomu Kumazawa

Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

2017

ACO Based Model Checking Extended by Smell-Like Pheromone with Hop Counts.

Keiichiro Takada, Munehiro Takimoto, Tsutomu Kumazawa, Yasushi Kambayashi

Proceedings of the Harmony Search Algorithm, 2017

2016

Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone.

Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto, Yasushi Kambayashi

EAI Endorsed Trans. Ind. Networks Intell. Syst., 2016

2011

Counterexample-Based Error Localization of Behavior Models.

Tsutomu Kumazawa, Tetsuo Tamai

Proceedings of the NASA Formal Methods, 2011

2008

Iterative Model Fixing with Counterexamples.

Tsutomu Kumazawa, Tetsuo Tamai

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008