Edit Paper: Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Enter the information required for the paper. Required information is marked with a *.

Title*:	Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations
Authors*:	S. Haesaert, P. Nilsson, C. I. Vasile, R. Thakker, A. Agha-mohammadi, A. D. Ames and R. M. Murray
Source*:	To appear in IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2018
Abstract*:	The synthesis of controllers guaranteeing linear temporal logic specifications on partially observable Markov decision processes (POMDP) via their belief models causes computational issues due to the continuous spaces. In this work, we construct a finite-state abstraction on which a control policy is synthesized and refined back to the original belief model. We introduce a new notion of label- based approximate stochastic simulation to quantify the deviation between belief models. We develop a robust synthesis methodology that yields a lower bound on the satisfaction probability, by compensating for deviations a priori, and that utilizes a less conservative control refinement.
URL:
Type:
ID:
Tag:
Funding:
DOI:
Flags:

Summary:

This is a minor edit

Watch this page

Navigation menu