PROPhESY
From MaRDI portal
Software:45311
No author found.
Related Items (17)
Synthesizing optimal bias in randomized self-stabilization ⋮ Parameter Synthesis Algorithms for Parametric Interval Markov Chains ⋮ SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving ⋮ Probabilistic Programming: A True Verification Challenge ⋮ Out of control: reducing probabilistic models by control-state elimination ⋮ The complexity of reachability in parametric Markov decision processes ⋮ Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination ⋮ Abstract model repair for probabilistic systems ⋮ Formal System Verification ⋮ Exact quantitative probabilistic model checking through rational search ⋮ On the Complexity of Reachability in Parametric Markov Decision Processes ⋮ Sequential Convex Programming for the Efficient Verification of Parametric MDPs ⋮ Reachability in parametric interval Markov chains using constraints ⋮ Quantitative static analysis of communication protocols using abstract Markov chains ⋮ A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models ⋮ Bayesian statistical parameter synthesis for linear temporal properties of stochastic models ⋮ Smoothed model checking for uncertain continuous-time Markov chains
This page was built for software: PROPhESY
