Verification of general Markov decision processes by approximate similarity relations and policy refinement
From MaRDI portal
(Redirected from Publication:5348126)
Verification of general Markov decision processes by approximate similarity relations and policy refinement (scientific article; zbMATH DE number 6760087)
Verification of general Markov decision processes by approximate similarity relations and policy refinement (scientific article; zbMATH DE number 6760087)
Recommendations
- Verification of general Markov decision processes by approximate similarity relations and policy refinement
- Verification of Markov decision processes using learning algorithms
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
- A game-based abstraction-refinement framework for Markov decision processes
- CEGAR for compositional analysis of qualitative properties in Markov decision processes
Cites work
- Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
- Approximating labelled Markov processes
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Approximations of Stochastic Hybrid Systems
- Average Optimality in Markov Control Processes via Discounted-Cost Problems and Linear Programming
- Bisimulation for labelled Markov processes
- Bisimulation through probabilistic testing
- Communicating piecewise deterministic Markov processes
- Hierarchical control system design using approximate simulation
- scientific article; zbMATH DE number 53045 (Why is no real title available?)
- scientific article; zbMATH DE number 1834589 (Why is no real title available?)
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- scientific article; zbMATH DE number 825585 (Why is no real title available?)
- scientific article; zbMATH DE number 2209335 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Markov chains and stochastic stability
- Measure theory. Vol. I and II
- Metrics for labelled Markov processes
- On probabilistic alternating simulations
- On the effect of perturbation of conditional probabilities in total variation
- Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
- Robust PCTL model checking
- Semi-pullbacks and bisimulation in categories of Markov processes
- Stochastic optimal control. The discrete time case
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
- The Existence of Probability Measures with Given Marginals
- The existence of probability measures with given marginals
- Verification and Control of Hybrid Systems
- Verification of general Markov decision processes by approximate similarity relations and policy refinement
Cited in
(14)- Verification of general Markov decision processes by approximate similarity relations and policy refinement
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
- Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
- Similarity quantification for linear stochastic systems: a coupling compensator approach
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
- Certified reinforcement learning with logic guidance
- SySCoRe: Synthesis via Stochastic Coupling Relations
- Verification of Indefinite-Horizon POMDPs
- SySCcoRe 2.0: toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications
This page was built for publication: Verification of general Markov decision processes by approximate similarity relations and policy refinement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348126)
