swMATH36939MaRDI QIDQ52641FDOQ52641
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-319-06410-9_22
Cited In (28)
- 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
- PASS
- COMICS
- REACH
- FODD-Planner
- PARAM
- DFTCalc
- Rapture
- Storm
- LightDP
- kv
- PROPhESY
- Reformulation of the linear program for completely ergodic MDPs with average cost criteria
- Jani
- AMT
- ASDeX
- POWER-TRUCTOR
- QPMC
- StocHy - automated verification and synthesis of stochastic processes
- Model checking differentially private properties
- FACT
This page was built for software: iscasMc
