Reachability Analysis of Probabilistic Systems by Successive Refinements

This publication has 22 references indexed in Scilit:

• Minimization of timed transition systems
  Published by Springer Nature ,2006
• Tools and Algorithms for the Construction and Analysis of Systems
  Published by Springer Nature ,2000
• Approximative Symbolic Model Checking of Continuous-Time Markov Chains
  Published by Springer Nature ,1999
• The bounded retransmission protocol must be on time!
  Published by Springer Nature ,1997
• Algebric Decision Diagrams and Their Applications
  Formal Methods in System Design, 1997
• Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation
  Formal Methods in System Design, 1997
• Model checking of probabilistic and nondeterministic systems
  Published by Springer Nature ,1995
• It usually works: The temporal logic of stochastic systems
  Published by Springer Nature ,1995
• A logic for reasoning about time and reliability
  Formal Aspects of Computing, 1994
• Minimal state graph generation
  Science of Computer Programming, 1992