Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ho, Qi Heng, Feather, Martin S., Rossi, Federico, Sunberg, Zachary N., Lahijanian, Morteza
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Logic in Computer Science Robotics Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
von: Mathiesen, Frederik Baymler, et al.
Veröffentlicht: (2024)

Sampling-based Task and Kinodynamic Motion Planning under Semantic Uncertainty
von: Ho, Qi Heng, et al.
Veröffentlicht: (2026)

Provably Safe Motion Planning Under Unknown Disturbances
von: Gracia, Ibon, et al.
Veröffentlicht: (2026)

Recursively-Constrained Partially Observable Markov Decision Processes
von: Ho, Qi Heng, et al.
Veröffentlicht: (2023)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
von: Muvvala, Karan, et al.
Veröffentlicht: (2024)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
von: Belly, Marius, et al.
Veröffentlicht: (2024)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
von: Chang, Kevin Kai-Chun, et al.
Veröffentlicht: (2026)

Sound Value Iteration for Simple Stochastic Games
von: Azeem, Muqsit, et al.
Veröffentlicht: (2024)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
von: Sidrane, Chelsea, et al.
Veröffentlicht: (2024)

Falsification of Autonomous Systems in Rich Environments
von: Elimelech, Khen, et al.
Veröffentlicht: (2024)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
von: Mazouz, Rayan, et al.
Veröffentlicht: (2022)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
von: Zhao, Yiqi, et al.
Veröffentlicht: (2023)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
von: Hafez, Ahmad, et al.
Veröffentlicht: (2024)

Optimal Planning for Timed Partial Order Specifications
von: Watanabe, Kandai, et al.
Veröffentlicht: (2024)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
von: Gu, Chao, et al.
Veröffentlicht: (2020)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
von: Vázquez, Gricel, et al.
Veröffentlicht: (2026)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
von: Tonkens, Sander, et al.
Veröffentlicht: (2023)

Feasibility-Guided Safety-Aware Model Predictive Control for Jump Markov Linear Systems
von: Laouar, Zakariya, et al.
Veröffentlicht: (2023)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

Data-Driven Permissible Safe Control with Barrier Certificates
von: Mazouz, Rayan, et al.
Veröffentlicht: (2024)

The Reachability Problem for Neural-Network Control Systems
von: Schilling, Christian, et al.
Veröffentlicht: (2024)

Robustness Analysis of POMDP Policies to Observation Perturbations
von: Kraske, Benjamin, et al.
Veröffentlicht: (2026)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2023)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
von: Sidrane, Chelsea, et al.
Veröffentlicht: (2025)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
von: Grobelna, Marta, et al.
Veröffentlicht: (2025)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
von: Amorese, Peter, et al.
Veröffentlicht: (2025)

Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance
von: Hui, Larry, et al.
Veröffentlicht: (2026)

Reachability-Aware Time Scaling for Path Tracking
von: Gholampour, Hossein, et al.
Veröffentlicht: (2026)

Efficient Dynamic Shielding for Parametric Safety Specifications
von: Corsi, Davide, et al.
Veröffentlicht: (2025)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
von: Sharifi, Iman, et al.
Veröffentlicht: (2023)

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
von: Amorese, Peter, et al.
Veröffentlicht: (2026)

Dependent Reachable Sets for the Constant Bearing Pursuit Strategy
von: Makkapati, Venkata Ramana, et al.
Veröffentlicht: (2025)

On the Optimality of Uncertain MDP Abstractions
von: Gracia, Ibon, et al.
Veröffentlicht: (2026)

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
von: Gracia, Ibon, et al.
Veröffentlicht: (2025)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
von: Gracia, Ibon, et al.
Veröffentlicht: (2025)

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