conftrace_

stochastic dynamic program

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

cooperative robot team (1) belief space planning (1) space exploration (1) belief space mdp (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