Pages that link to "Item:Q444484"
From MaRDI portal
The following pages link to Three-valued abstraction for probabilistic systems (Q444484):
Displayed 7 items.
- Combining decomposition and reduction for state space analysis of a self-stabilizing system (Q394332) (← links)
- Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
- Efficient computation of the bounds of continuous time imprecise Markov chains (Q902823) (← links)
- Abstract model repair for probabilistic systems (Q1706149) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Bounding inferences for large-scale continuous-time Markov chains: a new approach based on lumping and imprecise Markov chains (Q2302810) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)