CUDD

swMATH4446MaRDI QIDQ16622FDOQ16622

Author name not available (Why is that?)

Official website: http://vlsi.colorado.edu/~fabio/CUDD/

Cited In (only showing first 100 items - show all)

• GR(1)*: GR(1) specifications extended with existential guarantees
• Unbeast
• Title not available (Why is that?)
• On the evolution of the worst-case OBDD size
• Performance heuristics for GR(1) synthesis and related algorithms
• dCAQE
• Exact stochastic constraint optimisation with applications in network analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extracting co-occurrence relations from ZDDs
• BoSy
• Outlier detection using binary decision diagrams
• DQBDD: an efficient BDD-based DQBF solver
• Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
• Weakest invariant generation for automated addition of fault-tolerance
• Ordered binary decision diagrams and the Shannon effect
• Reasoning with ordered binary decision diagrams
• A model-learner pattern for bayesian reasoning
• A direct construction of polynomial-size OBDD proof of pigeon hole problem
• Rank-based symbolic bisimulation: (and model checking)
• SCOTS: a tool for the synthesis of symbolic controllers
• Gröbner-free normal forms for Boolean polynomials
• Efficient approach of translating LTL formulae into Büchi automata
• Automated planning as an early verification tool for distributed control
• The complexity of automated addition of fault-tolerance without explicit legitimate states
• Gröbner-free normal forms for Boolean polynomials
• Verification and enforcement of access control policies
• Application of multiroot decision diagrams for integer functions
• Formal verification based on Boolean expression diagrams
• Factorization of Boolean polynomials: parallel algorithms and experimental evaluation
• QESTO
• Random 3-SAT: The plot thickens
• Theory and Applications of Satisfiability Testing
• Symbolic perimeter abstraction heuristics for cost-optimal planning
• Automated Technology for Verification and Analysis
• Optimizing probabilities in probabilistic logic programs
• The symbolic OBDD scheme for generating mechanical assembly sequences
• Lazy synthesis
• Proof complexity of symbolic QBF reasoning
• Weighted positive binary decision diagrams for exact probabilistic inference
• Improving gate-level simulation of quantum circuits
• Title not available (Why is that?)
• A layered algorithm for quantifier elimination from linear modular constraints
• A reducibility concept for problems defined in terms of ordered binary decision diagrams
• Owl
• Boolean Gröbner bases. Theory, algorithms and applications
• CryptaPath
• Q3B
• Symbolic Model Checking for Dynamic Epistemic Logic
• Efficient inclusion checking on explicit and semi-symbolic tree automata
• Title not available (Why is that?)
• A symbolic algorithm for lazy synthesis of eager strategies
• Strategy construction for parity games with imperfect information
• Lurette
• The symbolic algorithms for maximum flow in networks
• Title not available (Why is that?)
• Title not available (Why is that?)
• Practical synthesis of reactive systems from LTL specifications via parity games
• Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
• Computer Aided Verification
• Strong planning under partial observability
• Sigref – A Symbolic Bisimulation Tool Box
• Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
• Parallel model checking for temporal epistemic logic
• Model checking temporal properties of reaction systems
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Galileo
• SIGREF
• slimgb
• TopSpin
• TRANSYT
• Title not available (Why is that?)
• SATLIB
• SMART_
• azove
• zChaff
• BuDDy
• MONA
• visualSTATE
• SymmSpin
• SPOT
• Cadence SMV
• Graphplan
• Title not available (Why is that?)
• SPNP
• Sycraft
• BDDNOW
• JTLV
• FORCE
• MCMAS
• MCK
• gmm++
• SATORI
• LETHAL
• Verics
• YASM
• HANNIBAL
• LinAIG
• VATA

This page was built for software: CUDD