Pages that link to "Item:Q3172840"
From MaRDI portal
The following pages link to Time-Bounded Verification of CTMCs against Real-Time Specifications (Q3172840):
Displaying 11 items.
- Smoothed model checking for uncertain continuous-time Markov chains (Q259074) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- On-the-fly verification and optimization of DTA-properties for large Markov chains (Q2248080) (← links)
- Model checking single agent behaviours by fluid approximation (Q2346412) (← links)
- System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (Q2941140) (← links)
- Efficient CTMC Model Checking of Linear Real-Time Objectives (Q3000642) (← links)
- Time-Bounded Verification of CTMCs against Real-Time Specifications (Q3172840) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)
- Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach (Q6104820) (← links)
- A probabilistic logic for verifying continuous-time Markov chains (Q6535602) (← links)
