… However, those verification results are often overly pessimistic. … The verification problem for
POMDPs with indefinite horizon … Nevertheless, the analysis of POMDPs is a vibrant research …

… are difficult or impossible to verify in practice, its applicability is questionable. In the rest of
this paper, we consider an alternative model of indefinite-horizon POMDPs that does not rely …

… We use an evaluation framework that supports indefinite horizon queries, eg, queries with a
… of our approach using benchmarks from the verification literature. While the comparison with …

… The verification problem for POMDPs with indefinite horizon specifications such as …
Nevertheless, the analysis of POMDPs is a vibrant research area. Traditionally, the focus has been …

… to model these problems as indefinite-horizon decentralized POMDPs, suitable for many …
We then provide the DEC-POMDP model and an algorithm to solve it, including a proof that …

… problem in POMDPs known as the (indefinite-horizon) … This is also a core problem in model
checking with logical … probabilities of POMDPs in an anytime manner, (iii) proof of asymptotic …

… POMDP below a given threshold? We thus consider an infinite-horizon objective without
discounting—also called an indefinite-horizon … value function in model checking of POMDPs [8]. …

… Indefinite-horizon objectives. In this work we consider DEC-POMDPs with indefinite-horizon
objectives. We consider DEC-POMDPs with a set of target (or goal) states, and a cost …

… The underlying method is achieved via a marriage of formal verification and … POMDPs.
We require these FSCs to be provably correct for given specifications such as indefinite-horizon …

… However, using any fixed depth limit for all indefinitehorizon POMDPs is not sound (consider
a POMDP where more than 200 precisely timed steps have to be taken to reach the goal). …