PARAM
From MaRDI portal
Software:21648
swMATH9669MaRDI QIDQ21648FDOQ21648
Author name not available (Why is that?)
Cited In (13)
- Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.
- Smoothed model checking for uncertain continuous-time Markov chains
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- Model Checking Probabilistic Systems
- Model Repair for Probabilistic Systems
- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study
- Variable Probabilistic Abstraction Refinement
- Exact quantitative probabilistic model checking through rational search
- Sequential Convex Programming for the Efficient Verification of Parametric MDPs
- Title not available (Why is that?)
- Reachability in parametric interval Markov chains using constraints
- Modular strategic SMT solving with \textbf{SMT-RAT}
- Formal System Verification
This page was built for software: PARAM
