Ymer
From MaRDI portal
Software:21451
swMATH9468MaRDI QIDQ21451FDOQ21451
Author name not available (Why is that?)
Cited In (16)
- Three-valued abstraction for probabilistic systems
- Computer Aided Verification
- Towards light-weight probabilistic model checking
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- Statistical verification of PCTL using antithetic and stratified samples
- A Tutorial on Interactive Markov Chains
- Command-based importance sampling for statistical model checking
- Statistical Model Checking for Networks of Priced Timed Automata
- Statistical probabilistic model checking with a focus on time-bounded properties
- A Platform for High Performance Statistical Model Checking – PLASMA
- On simulation-based probabilistic model checking of mixed-analog circuits
- Algorithmic probabilistic game semantics. Playing games with automata
- Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- Comparative Analysis of Statistical Model Checking Tools
- Statistical Verification of Probabilistic Properties with Unbounded Until
This page was built for software: Ymer
