FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Temporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations

Authors: Sofie Haesaert, Petter Nilsson, Cristian-Ioan Vasile, Thakker Rohan, Ali-Akbar Agha-Mohammadi, Aaron Ames and Richard M. Murray

Paper Information

Title:Temporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations
Authors:Sofie Haesaert, Petter Nilsson, Cristian-Ioan Vasile, Thakker Rohan, Ali-Akbar Agha-Mohammadi, Aaron Ames and Richard M. Murray
Proceedings:ADHS Full papers
Editor: Alessandro Abate
Keywords:aaa, bbb, ccc
Abstract:

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.

Pages:6
Talk:Jul 13 11:15 (Session 85: Stochastic systems 2)
Paper: