Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Verification of Uncertain POMDPs Using Barrier Certificates   We consider a class of partially observable Markov decision processes
(POMDPs) with uncertain transition and/or observation probabilities. The
uncertainty takes the form of probability intervals. Such uncertain POMDPs can
be used, for example, to model autonomous agents with sensors with limited
accuracy, or agents undergoing a sudden component failure, or structural damage
[1]. Given an uncertain POMDP representation of the autonomous agent, our goal
is to propose a method for checking whether the system will satisfy an optimal
performance, while not violating a safety requirement (e.g. fuel level,
velocity, and etc.). To this end, we cast the POMDP problem into a switched
system scenario. We then take advantage of this switched system
characterization and propose a method based on barrier certificates for
optimality and/or safety verification. We then show that the verification task
can be carried out computationally by sum-of-squares programming. We illustrate
the efficacy of our method by applying it to a Mars rover exploration example.

23
The categories of this paper are: solv-int
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
6
The categories of this paper are: astro-ph
11
The categories of this paper are: hep-lat
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
14
The categories of this paper are: math-ph