COSMOS

swMATH13329MaRDI QIDQ25244FDOQ25244

Author name not available (Why is that?)

Cited In (6)

• Expressing and computing passage time measures of GSPN models with HASL
• 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
• 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