Pages that link to "Item:Q4649305"
From MaRDI portal
The following pages link to Variable Probabilistic Abstraction Refinement (Q4649305):
Displaying 4 items.
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- Consistency for parametric interval Markov chains (Q5240149) (← links)
- Abstraction-Refinement for Hierarchical Probabilistic Models (Q6487314) (← links)