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

Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

Click : times
  • MOBILE Version
    •
    Open time:..
    The Last Update Time:..

    Mobile phone sweep