COSMOS

swMATH13329MaRDI QIDQ25244FDOQ25244

Author name not available (Why is that?)

Cited In (6)

• Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
• Command-based importance sampling for statistical model checking
• Expressing and Computing Passage Time Measures of GSPN Models with HASL
• Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators
• Applications of an expressive statistical model checking approach to the analysis of genetic circuits
• Uniform sampling for timed automata with application to language inclusion measurement

This page was built for software: COSMOS