Pages that link to "Item:Q2937733"
From MaRDI portal
The following pages link to On Abstraction of Probabilistic Systems (Q2937733):
Displaying 8 items.
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Abstract model repair for probabilistic systems (Q1706149) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- (Q2722069) (← links)
- Abstraction of Probabilistic Systems (Q3510828) (← links)
- Abstraction for Stochastic Systems by Erlang’s Method of Stages (Q3541024) (← links)
- Validation of Stochastic Systems (Q5325844) (← links)