conftrace_

space exploration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

cooperative robot team (1) belief space planning (1) stochastic dynamic program (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