Logical and Stochastic Modeling with Smart

This publication has 21 references indexed in Scilit:

• Saturation Unbound
  Published by Springer Nature ,2003
• Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths
  Published by Springer Nature ,2002
• Saturation: An Efficient Iteration Strategy for Symbolic State—Space Generation
  Published by Springer Nature ,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
  Published by Springer Nature ,2000
• Model Checking Continuous-Time Markov Chains by Transient Analysis
  Published by Springer Nature ,2000
• Storage alternatives for large structured state spaces
  Published by Springer Nature ,1997
• A decomposition approach for stochastic reward net models
  Performance Evaluation, 1993
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Kronecker products and matrix calculus in system theory
  IEEE Transactions on Circuits and Systems, 1978