Pages that link to "Item:Q2986933"
From MaRDI portal
The following pages link to Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems (Q2986933):
Displaying 7 items.
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
- Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Time window temporal logic (Q2402278) (← links)
- On the effect of perturbation of conditional probabilities in total variation (Q2453864) (← links)
- On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Q2988377) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
