conftrace_

cooperative robot team

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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