Gravitational Search Algorithm-Based Efficient Model Checking

Asaka Takase, Tsutomu Kumazawa, Munehiro Takimoto

Proceedings of the 18th ACM International Conference on PErvasive Technologies Related to Assistive Environments

2025-07

468

472

ACM

研究論文（国際会議プロシーディングス）