Cited By
View all- Kumazawa TTakimoto MKodama YKambayashi Y(2024)Memoization in Model Checking for Safety Properties with Multi-Swarm Particle Swarm OptimizationElectronics10.3390/electronics1321419913:21(4199)Online publication date: 25-Oct-2024
- Kumazawa TTakimoto MKambayashi Y(2022)Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimizationJournal of Information and Telecommunication10.1080/24751839.2022.20474706:3(341-359)Online publication date: 22-Mar-2022
- Pira E(2021)Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based Safety Analysis of Graph TransformationJournal of Computer Science and Technology10.1007/s11390-020-1003-336:4(839-855)Online publication date: 30-Jul-2021
- Show More Cited By