Magnifying-Lens Abstraction for Markov Decision Processes
From MaRDI portal
Publication:5429327
DOI10.1007/978-3-540-73368-3_38zbMath1135.68486OpenAlexW2139324000MaRDI QIDQ5429327
Publication date: 29 November 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_38
Related Items
A game-based abstraction-refinement framework for Markov decision processes ⋮ Analyzing Oscillatory Behavior with Formal Methods ⋮ On Abstraction of Probabilistic Systems ⋮ Probabilistic CEGAR ⋮ Three-valued abstraction for probabilistic systems ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives ⋮ Game-Based Probabilistic Predicate Abstraction in PRISM ⋮ Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives ⋮ A linear process-algebraic format with data for probabilistic automata ⋮ Compositional Abstraction for Stochastic Systems ⋮ Lifted model checking for relational MDPs
Uses Software