Copertina

Interval Markov Decision Processes with Continuous Action-Spaces

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Delimpaltadakis, Giannis, Lahijanian, Morteza, Mazo Jr., Manuel, Laurenti, Luca
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Systems and Control Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
di: Delimpaltadakis, Giannis, et al.
Pubblicazione: (2022)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
di: Mathiesen, Frederik Baymler, et al.
Pubblicazione: (2024)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
di: Skovbekk, John, et al.
Pubblicazione: (2021)

Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
di: Delimpaltadakis, Giannis, et al.
Pubblicazione: (2020)

Memory-dependent abstractions of stochastic systems through the lens of transfer operators
di: Banse, Adrien, et al.
Pubblicazione: (2025)

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
di: Gracia, Ibon, et al.
Pubblicazione: (2022)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
di: Gracia, Ibon, et al.
Pubblicazione: (2024)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
di: Laurenti, Luca, et al.
Pubblicazione: (2023)

Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
di: Kong, Chun-Wei, et al.
Pubblicazione: (2024)

Piecewise Control Barrier Functions for Stochastic Systems
di: Mazouz, Rayan, et al.
Pubblicazione: (2025)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
di: Mazouz, Rayan, et al.
Pubblicazione: (2026)

Promises of Deep Kernel Learning for Control Synthesis
di: Reed, Robert, et al.
Pubblicazione: (2023)

Predictable Reinforcement Learning Dynamics through Entropy Rate Minimization
di: Ornia, Daniel Jarne, et al.
Pubblicazione: (2023)

ETCetera: beyond Event-Triggered Control
di: Delimpaltadakis, Giannis, et al.
Pubblicazione: (2022)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
di: Gracia, Ibon, et al.
Pubblicazione: (2024)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
di: Figueiredo, Eduardo, et al.
Pubblicazione: (2024)

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
di: Amorese, Peter, et al.
Pubblicazione: (2026)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
di: Gracia, Ibon, et al.
Pubblicazione: (2025)

Intermittently Observable Markov Decision Processes
di: Chen, Gongpu, et al.
Pubblicazione: (2023)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
di: Mazouz, Rayan, et al.
Pubblicazione: (2026)

Continuous-Time Distributed Dynamic Programming for Networked Multi-Agent Markov Decision Processes
di: Lee, Donghwan, et al.
Pubblicazione: (2023)

Causal Temporal Reasoning for Markov Decision Processes
di: Kazemi, Milad, et al.
Pubblicazione: (2022)

Predictable Interval MDPs through Entropy Regularization
di: van Zutphen, Menno, et al.
Pubblicazione: (2024)

An Information Theory of Finite Abstractions and their Fundamental Scalability Limits
di: Delimpaltadakis, Giannis, et al.
Pubblicazione: (2025)

Provably Safe Motion Planning Under Unknown Disturbances
di: Gracia, Ibon, et al.
Pubblicazione: (2026)

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
di: Coppola, Rudi, et al.
Pubblicazione: (2025)

Hybrid Energy-Based Models for Physical AI: Provably Stable Identification of Port-Hamiltonian Dynamics
di: Betteti, Simone, et al.
Pubblicazione: (2026)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
di: Mazouz, Rayan, et al.
Pubblicazione: (2022)

OCMDP: Observation-Constrained Markov Decision Process
di: Wang, Taiyi, et al.
Pubblicazione: (2024)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
di: Cauchi, Nathalie, et al.
Pubblicazione: (2019)

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
di: Amorese, Peter, et al.
Pubblicazione: (2026)

Optimized Task Assignment and Predictive Maintenance for Industrial Machines using Markov Decision Process
di: Nasir, Ali, et al.
Pubblicazione: (2024)

Conformal Off-Policy Evaluation in Markov Decision Processes
di: Foffano, Daniele, et al.
Pubblicazione: (2023)

Learning Algorithms for Verification of Markov Decision Processes
di: Brázdil, Tomáš, et al.
Pubblicazione: (2024)

Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
di: Delimpaltadakis, Giannis, et al.
Pubblicazione: (2024)

An Offline Risk-aware Policy Selection Method for Bayesian Markov Decision Processes
di: Angelotti, Giorgio, et al.
Pubblicazione: (2021)

On the relationship between control barrier functions and projected dynamical systems
di: Delimpaltadakis, Giannis, et al.
Pubblicazione: (2023)

On the Convergence of Modified Policy Iteration in Risk Sensitive Exponential Cost Markov Decision Processes
di: Murthy, Yashaswini, et al.
Pubblicazione: (2023)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
di: Ho, Qi Heng, et al.
Pubblicazione: (2024)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
di: Amorese, Peter, et al.
Pubblicazione: (2025)