PARAM

swMATH9669MaRDI QIDQ21648FDOQ21648

Author name not available (Why is that?)

Cited In (12)

• Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.
• Smoothed model checking for uncertain continuous-time Markov chains
• Multiple verification in complex biological systems: the bone remodelling case study
• Variable probabilistic abstraction refinement
• Model checking probabilistic systems
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
• Model repair for probabilistic systems
• Formal system verification. State-of the-art and future trends
• Sequential convex programming for the efficient verification of parametric MDPs
• Exact quantitative probabilistic model checking through rational search
• Title not available (Why is that?)
• Modular strategic SMT solving with \textbf{SMT-RAT}

This page was built for software: PARAM