Image de couverture de livre

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mathiesen, Frederik Baymler, Lahijanian, Morteza, Laurenti, Luca
Format:	Preprint
Publié:	2024
Sujets:	Systems and Control Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
par: Mazouz, Rayan, et autres
Publié: (2026)

Interval Markov Decision Processes with Continuous Action-Spaces
par: Delimpaltadakis, Giannis, et autres
Publié: (2022)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
par: Ho, Qi Heng, et autres
Publié: (2024)

Data-Driven Permissible Safe Control with Barrier Certificates
par: Mazouz, Rayan, et autres
Publié: (2024)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
par: Rickard, Luke, et autres
Publié: (2023)

Learning Algorithms for Verification of Markov Decision Processes
par: Brázdil, Tomáš, et autres
Publié: (2024)

ARCH-COMP25 Category Report: Stochastic Models
par: Abate, Alessandro, et autres
Publié: (2025)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
par: Ramirez, Miquel, et autres
Publié: (2024)

Scalable control synthesis for stochastic systems via structural IMDP abstractions
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
par: Laurenti, Luca, et autres
Publié: (2023)

Sound Value Iteration for Simple Stochastic Games
par: Azeem, Muqsit, et autres
Publié: (2024)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
par: Gracia, Ibon, et autres
Publié: (2025)

On the Optimality of Uncertain MDP Abstractions
par: Gracia, Ibon, et autres
Publié: (2026)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
par: Azeem, Muqsit, et autres
Publié: (2024)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
par: Vertovec, Nikolaus, et autres
Publié: (2025)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Certified Neural Approximations of Nonlinear Dynamics
par: Mathiesen, Frederik Baymler, et autres
Publié: (2025)

Piecewise Control Barrier Functions for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2025)

Piecewise Stochastic Barrier Functions
par: Mazouz, Rayan, et autres
Publié: (2024)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
par: Li, Xiakun, et autres
Publié: (2026)

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
par: Gracia, Ibon, et autres
Publié: (2025)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2026)

Promises of Deep Kernel Learning for Control Synthesis
par: Reed, Robert, et autres
Publié: (2023)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
par: Skovbekk, John, et autres
Publié: (2021)

Zeta Functions and the (Linear) Logic of Markov Processes
par: Seiller, Thomas
Publié: (2020)

Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
par: Schönig, Stefan, et autres
Publié: (2025)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
par: Figueiredo, Eduardo, et autres
Publié: (2024)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
par: Kohlen, Bram, et autres
Publié: (2025)

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
par: Amorese, Peter, et autres
Publié: (2026)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
par: Hafez, Ahmad, et autres
Publié: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
par: Hadjiloizou, Loizos, et autres
Publié: (2024)

Stochastic Omega-Regular Verification and Control with Supermartingales
par: Abate, Alessandro, et autres
Publié: (2024)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
par: Tang, Valdemar, et autres
Publié: (2024)

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
par: Phalakarn, Kittiphon, et autres
Publié: (2024)

Efficient Discovery of Actual Causality using Abstraction-Refinement
par: Rafieioskouei, Arshia, et autres
Publié: (2024)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
par: Incer, Inigo
Publié: (2024)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
par: Engelaar, Maico H. W., et autres
Publié: (2024)

Quantitative Supermartingale Certificates
par: Abate, Alessandro, et autres
Publié: (2025)

Context-Aided Variable Elimination for Requirement Engineering
par: Incer, Inigo, et autres
Publié: (2023)