497 citations · 2.1k across the 297 of their papers we have counts for
Showing 2017 · cs.ROShow all
2 papers · 2 filters
cs.RO2017★ 4 cited
Synthesis of surveillance strategies via belief abstraction
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
We study the problem of synthesizing a controller for a robot with a surveillance objective, that is, the robot is required to maintain knowledge of the location of a moving, possi…
cs.RO2017
Strategy Synthesis in POMDPs via Game-Based Abstractions
Leonore Winterer, Sebastian Junges, Ralf Wimmer +4
We study synthesis problems with constraints in partially observable Markov decision processes (POMDPs), where the objective is to compute a strategy for an agent that is guarantee…