iscasMc
From MaRDI portal
Software:52641
swMATH36939MaRDI QIDQ52641FDOQ52641
Author name not available (Why is that?)
Cited In (11)
- Multiphase until formulas over Markov reward models: an algebraic approach
- Deep statistical model checking
- Multi-scale verification of distributed synchronisation
- Model checking \(\omega\)-regular properties for quantum Markov chains
- \textsf{PrIC3}: property directed reachability for MDPs
- Formal system verification. State-of the-art and future trends
- Solving systems of bilinear equations for transition rate reconstruction
- Sequential convex programming for the efficient verification of parametric MDPs
- Reformulation of the linear program for completely ergodic MDPs with average cost criteria
- StocHy - automated verification and synthesis of stochastic processes
- Model checking differentially private properties
This page was built for software: iscasMc
