location: Current position: Home >> Scientific Research >> Paper Publications

A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm

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