Ymer
From MaRDI portal
Software:21451
No author found.
Related Items (16)
A Platform for High Performance Statistical Model Checking – PLASMA ⋮ Statistical Model Checking for Networks of Priced Timed Automata ⋮ Command-based importance sampling for statistical model checking ⋮ Computer Aided Verification ⋮ A Tutorial on Interactive Markov Chains ⋮ Three-valued abstraction for probabilistic systems ⋮ Comparative Analysis of Statistical Model Checking Tools ⋮ Statistical Verification of Probabilistic Properties with Unbounded Until ⋮ Applications of an expressive statistical model checking approach to the analysis of genetic circuits ⋮ Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models ⋮ Algorithmic probabilistic game semantics. Playing games with automata ⋮ Statistical probabilistic model checking with a focus on time-bounded properties ⋮ On simulation-based probabilistic model checking of mixed-analog circuits ⋮ Unnamed Item ⋮ Statistical verification of PCTL using antithetic and stratified samples ⋮ Towards light-weight probabilistic model checking
This page was built for software: Ymer
