Saturation Unbound

This publication has 18 references indexed in Scilit:

• Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths
  2002
• Saturation: An Efficient Iteration Strategy for Symbolic State—Space Generation
  2001
• Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
  INFORMS Journal on Computing, 2000
• Efficient Symbolic State-Space Construction for Asynchronous Systems
  2000
• Symbolic guided search for CTL model checking
  2000
• Regular Model Checking
  2000
• Petri nets with marking-dependent arc cardinality: Properties and analysis
  Lecture Notes in Computer Science, 1994
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Computer-Oriented Formulation of Transition-Rate Matrices via Kronecker Algebra
  IEEE Transactions on Reliability, 1981