Pages that link to "Item:Q2509358"
From MaRDI portal
The following pages link to Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358):
Displaying 5 items.
- Smoothed model checking for uncertain continuous-time Markov chains (Q259074) (← links)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)
- Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. (Q6120695) (← links)
- Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. (Q6120731) (← links)
