Pages that link to "Item:Q2248080"
From MaRDI portal
The following pages link to On-the-fly verification and optimization of DTA-properties for large Markov chains (Q2248080):
Displayed 5 items.
- Abstraction-guided truncations for stationary distributions of Markov population models (Q832087) (← links)
- Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment (Q1666714) (← links)
- Analysis of Markov jump processes under terminal constraints (Q2044200) (← links)
- Preface to the special issue on probabilistic model checking (Q2248070) (← links)
- Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)