Tsutomu Kumazawa

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 10

Top Topics

Temporal Properties

Particle Swarm Optimization

Top Venues

Swarm Evol. Comput.

EAI Endorsed Trans. Ind. Networks Intell. Syst.

Publications

Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kodama, Yasushi Kambayashi
Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization. PAAMS (2023)
Takashi Nagata, Jinwei Xing, Tsutomu Kumazawa, Emre Neftci
Uncertainty Aware Model Integration on Reinforcement Learning. IJCNN (2022)
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization. J. Inf. Telecommun. 6 (3) (2022)
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
A safety checking algorithm with multi-swarm particle swarm optimization. GECCO Companion (2022)
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
Exploration Strategies for Model Checking with Ant Colony Optimization. ICCCI (2021)
Tsutomu Kumazawa, Keiichiro Takada, Munehiro Takimoto, Yasushi Kambayashi
Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts. Swarm Evol. Comput. 44 (2019)
Takuya Watanabe, Yuji Nakazato, Hiroaki Muroi, Takuya Hashimoto, Toru Shimogaki, Takeshi Nakano, Tsutomu Kumazawa
A Fast Learning Recommender Estimating Preferred Ranges of Features. JCKBSE (2018)
Keiichiro Takada, Munehiro Takimoto, Tsutomu Kumazawa, Yasushi Kambayashi
ACO Based Model Checking Extended by Smell-Like Pheromone with Hop Counts. ICHSA (2017)
Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto, Yasushi Kambayashi
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone. EAI Endorsed Trans. Ind. Networks Intell. Syst. 3 (7) (2016)
Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto, Yasushi Kambayashi
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone. BICT (2015)
Tsutomu Kumazawa, Tetsuo Tamai
Counterexample-Based Error Localization of Behavior Models. NASA Formal Methods (2011)
Tsutomu Kumazawa, Tetsuo Tamai
Iterative Model Fixing with Counterexamples. APSEC (2008)