Temporal logic motion planning using POMDPs with parity objectives

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 14, 2015
Source ID
10.1145/2728606.2728617

Entities

People

  • Calin Belta
  • Hasan Ferit Eniser
  • Ivana Cerna
  • Kevin Leahy
  • Krishnendu Chatterjee
  • Maria Svorenova
  • Martin Chmelík

Organizations

  • Austrian Science Fund
  • Boston University
  • Boğaziçi University
  • European Research Council
  • Masaryk University
  • National Science Foundation
  • Office of Naval Research