Login / Signup

Reachability Analysis of Probabilistic Systems by Successive Refinements.

Pedro R. D'ArgenioBertrand JeannetHenrik Ejersbo JensenKim Guldstrand Larsen
Published in: PAPM-PROBMIV (2001)
Keyphrases
  • reachability analysis
  • computer systems
  • generative model
  • complex systems
  • learning algorithm
  • management system
  • distributed systems
  • sufficient conditions