Miaofei Wang

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Probabilistic models are widely deployed in various systems. To ensure their correctness, verification techniques have been developed to analyze probabilistic systems. We propose the first sound and complete learning-based compositional verification technique for probabilistic safety properties on concurrent systems where each component is an Markov(More)
  • 1