The following pages link to COSMOS (Q25244):
Displaying 6 items.
- Command-based importance sampling for statistical model checking (Q313977) (← links)
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- Uniform sampling for timed automata with application to language inclusion measurement (Q1693099) (← links)
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (Q2238218) (← links)
- Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators (Q2849447) (← links)
- Expressing and Computing Passage Time Measures of GSPN Models with HASL (Q5300868) (← links)