Showing 81 - 100 results of 214 for search 'Progress Energy Inc', query time: 0.18s Refine Results
  1. 81
  2. 82
  3. 83
  4. 84
  5. 85
  6. 86
  7. 87
  8. 88
  9. 89
  10. 90
  11. 91
  12. 92

    Compositional probabilistic verification through multi-objective model checking by Kwiatkowska, M, Norman, G, Parker, D, Qu, H

    Published 2013
    “…We target systems that exhibit both nondeterministic and stochastic behaviour, modelled as probabilistic automata, and augment these models with costs or rewards to reason about, for example, energy usage or performance metrics. Despite significant theoretical advances in compositional reasoning for probabilistic automata, there has been a distinct lack of practical progress regarding automated verification. …”
    Journal article
  13. 93
  14. 94
  15. 95
  16. 96
  17. 97
  18. 98
  19. 99
  20. 100