CASPA

swMATH2863MaRDI QIDQ15401FDOQ15401

Author name not available (Why is that?)

Described by source

• An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA

Cited In (3)

• Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.
• Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
• A New Algorithm for Partitioned Symbolic Reachability Analysis

This page was built for software: CASPA