Pages that link to "Item:Q5429327"
From MaRDI portal
The following pages link to Magnifying-Lens Abstraction for Markov Decision Processes (Q5429327):
Displayed 12 items.
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Lifted model checking for relational MDPs (Q2102421) (← links)
- Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives (Q2248060) (← links)
- Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (Q2257302) (← links)
- Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- Probabilistic CEGAR (Q3512491) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
- Game-Based Probabilistic Predicate Abstraction in PRISM (Q5415661) (← links)