Hits:
Title of Paper:A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
Translation or Not:no
Co-author:马艳,
Correspondence Author:Cao Zi Ning
Next One:Genetic Algorithm-Based Learning Assumption for Assume-Guarantee Reasoning in Stochastic Model Checking