497 citations · 2.1k across the 297 of their papers we have counts for
Showing 2017 · cs.AIShow all
2 papers · 2 filters
cs.AI2017
Sensor Synthesis for POMDPs with Reachability Objectives
Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu
Partially observable Markov decision processes (POMDPs) are widely used in probabilistic planning problems in which an agent interacts with an environment using noisy and imprecise…
cs.AI2017★ 61 cited
Environment-Independent Task Specifications via GLTL
Michael L. Littman, Ufuk Topcu, Jie Fu +3
We propose a new task-specification language for Markov decision processes that is designed to be an improvement over reward functions by being environment independent. The languag…