Pages that link to "Item:Q2926637"
From MaRDI portal
The following pages link to SMT-Based Bisimulation Minimisation of Markov Models (Q2926637):
Displaying 8 items.
- Bisimulation minimization and symbolic model checking (Q698435) (← links)
- Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
- An efficient algorithm to determine probabilistic bisimulation (Q2633253) (← links)
- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems (Q2814625) (← links)
- Quantitative Abstractions for Collective Adaptive Systems (Q2822665) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- Statistical model checking of stochastic component-based systems (Q5106945) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)