| Uncertainty Aware Model Integration on Reinforcement Learning | 0 | 0.34 | 2022 |
| Exploration Strategies for Model Checking with Ant Colony Optimization. | 0 | 0.34 | 2021 |
| ACO Based Model Checking Extended by Smell-Like Pheromone with Hop Counts. | 0 | 0.34 | 2017 |
| Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone. | 2 | 0.36 | 2015 |
