The following pages link to Ymer (Q21451):
Displaying 16 items.
- Command-based importance sampling for statistical model checking (Q313977) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (Q2238218) (← links)
- Algorithmic probabilistic game semantics. Playing games with automata (Q2248076) (← links)
- Statistical verification of PCTL using antithetic and stratified samples (Q2335899) (← links)
- Towards light-weight probabilistic model checking (Q2336743) (← links)
- Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
- A Platform for High Performance Statistical Model Checking – PLASMA (Q2894294) (← links)
- (Q2915679) (← links)
- A Tutorial on Interactive Markov Chains (Q2937729) (← links)
- Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
- Statistical Verification of Probabilistic Properties with Unbounded Until (Q2999315) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
- Computer Aided Verification (Q5716586) (← links)
- On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)
