Optimal Cost Almost-sure Reachability in POMDPs

Artificial Intelligence (AI), 2014

14 November 2014

Papers citing "Optimal Cost Almost-sure Reachability in POMDPs"

20 / 20 papers shown

Title
A Finite-State Controller Based Offline Solver for Deterministic POMDPsInternational Joint Conference on Artificial Intelligence (IJCAI), 2025 Alex Schutz Yang You Matias Mattamala Ipek Caliskanelli Bruno Lacerda Nick Hawes OffRL 83 1 0 01 May 2025
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs Eline M. Bovy Marnix Suilen Sebastian Junges Nils Jansen 75 6 0 08 May 2024
The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space ModelsInternational Conference on Learning Representations (ICLR), 2023 Raphael Avalos Florent Delgrange Ann Nowé Guillermo A. Pérez D. Roijers 193 7 0 06 Mar 2023
Shielding in Resource-Constrained Goal POMDPsAAAI Conference on Artificial Intelligence (AAAI), 2022 Michal Ajdarów Simon Brlej Petr Novotný 91 4 0 28 Nov 2022
On the Verification of Belief Programs Daxin Liu G. Lakemeyer 117 1 0 26 Apr 2022
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components R. Calinescu Calum Imrie Ravi Mangal Genaína Nunes Rodrigues C. Păsăreanu Misael Alpizar Santana Gricel Vázquez 198 14 0 07 Feb 2022
Under-Approximating Expected Total Rewards in POMDPsInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 Alexander Bork J. Katoen Tim Quatmann 103 10 0 21 Jan 2022
Runtime Monitoring for Markov Decision ProcessesInternational Conference on Computer Aided Verification (CAV), 2021 Sebastian Junges Hazem Torfah Sanjit A. Seshia 65 5 0 26 May 2021
Robust Finite-State Controllers for Uncertain POMDPsAAAI Conference on Artificial Intelligence (AAAI), 2020 Murat Cubuktepe N. Jansen Sebastian Junges Ahmadreza Marandi Marnix Suilen Ufuk Topcu 160 32 0 24 Sep 2020
Strengthening Deterministic Policies for POMDPsNASA Formal Methods (NFM), 2020 Leonore Winterer Ralf Wimmer N. Jansen Bernd Becker 116 5 0 16 Jul 2020
Enforcing Almost-Sure Reachability in POMDPs Sebastian Junges N. Jansen Sanjit A. Seshia 184 29 0 30 Jun 2020
Counterexample-Driven Synthesis for Probabilistic Program SketchesWorld Congress on Formal Methods (FM), 2019 Milan Ceska Christian Hensel Sebastian Junges J. Katoen 64 25 0 28 Apr 2019
Shepherding Hordes of Markov Chains Milan Ceska N. Jansen Sebastian Junges J. Katoen 130 30 0 15 Feb 2019
Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-sum Objectives K. Chatterjee Adrián Elgyütt Petr Novotný Owen Rouillé 82 6 0 27 Apr 2018
Human-in-the-Loop Synthesis for Partially Observable Markov Decision ProcessesAmerican Control Conference (ACC), 2018 Steven Carr N. Jansen Ralf Wimmer Jie Fu Ufuk Topcu 74 11 0 27 Feb 2018
Sensor Synthesis for POMDPs with Reachability Objectives K. Chatterjee Martin Chmelík Ufuk Topcu 137 3 0 29 Sep 2017
Strategy Synthesis in POMDPs via Game-Based Abstractions Leonore Winterer Sebastian Junges Ralf Wimmer Nils Jansen Ufuk Topcu J. Katoen Bernd Becker 64 0 0 14 Aug 2017
Optimizing Expectation with Guarantees in POMDPs (Technical Report) K. Chatterjee Petr Novotný G. Pérez Jean-François Raskin Dorde Zikelic 112 15 0 26 Nov 2016
Stochastic Shortest Path with Energy Constraints in POMDPs T. Brázdil K. Chatterjee Martin Chmelík Anchit Gupta Petr Novotný 90 3 0 24 Feb 2016
A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs K. Chatterjee Martin Chmelík Jessica Davies 146 42 0 26 Nov 2015