---
res:
  bibo_abstract:
  - We consider partially observable Markov decision processes (POMDPs), that are
    a standard framework for robotics applications to model uncertainties present
    in the real world, with temporal logic specifications. All temporal logic specifications
    in linear-time temporal logic (LTL) can be expressed as parity objectives. We
    study the qualitative analysis problem for POMDPs with parity objectives that
    asks whether there is a controller (policy) to ensure that the objective holds
    with probability 1 (almost-surely). While the qualitative analysis of POMDPs with
    parity objectives is undecidable, recent results show that when restricted to
    finite-memory policies the problem is EXPTIME-complete. While the problem is intractable
    in theory, we present a practical approach to solve the qualitative analysis problem.
    We designed several heuristics to deal with the exponential complexity, and have
    used our implementation on a number of well-known POMDP examples for robotics
    applications. Our results provide the first practical approach to solve the qualitative
    analysis of robot motion planning with LTL properties in the presence of uncertainty.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Krishnendu
      foaf_name: Chatterjee, Krishnendu
      foaf_surname: Chatterjee
      foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-4561-241X
  - foaf_Person:
      foaf_givenName: Martin
      foaf_name: Chmelik, Martin
      foaf_surname: Chmelik
      foaf_workInfoHomepage: http://www.librecat.org/personId=3624234E-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Raghav
      foaf_name: Gupta, Raghav
      foaf_surname: Gupta
  - foaf_Person:
      foaf_givenName: Ayush
      foaf_name: Kanodia, Ayush
      foaf_surname: Kanodia
  bibo_doi: 10.1109/ICRA.2015.7139019
  dct_date: 2015^xs_gYear
  dct_language: eng
  dct_publisher: IEEE@
  dct_title: Qualitative analysis of POMDPs with temporal logic specifications for
    robotics applications@
...