conftrace_

belief space mdp

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

cooperative robot team (1) belief space planning (1) stochastic dynamic program (1) space exploration (1) linear temporal logic (1) stochastic dynamic programming (1) temporal logic (1) autonomous exploration (1)

Papers

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams RSS 2018