Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths

This publication has 16 references indexed in Scilit:

• Saturation: An Efficient Iteration Strategy for Symbolic State—Space Generation
  Published by Springer Nature ,2001
• Efficient Symbolic State-Space Construction for Asynchronous Systems
  Published by Springer Nature ,2000
• Symbolic Reachability Analysis Based on SAT-Solvers
  Published by Springer Nature ,2000
• Symbolic Model Checking without BDDs
  Published by Springer Nature ,1999
• Algebric Decision Diagrams and Their Applications
  Formal Methods in System Design, 1997
• Overview of decision diagrams
  IEE Proceedings - Computers and Digital Techniques, 1997
• Verification of arithmetic circuits with binary moment diagrams
  Published by Association for Computing Machinery (ACM) ,1995
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Computer-Oriented Formulation of Transition-Rate Matrices via Kronecker Algebra
  IEEE Transactions on Reliability, 1981