Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking.

Yan Ma, Zining Cao, Yang Liu

Browse the full SERA paper archive.