"Probabilistic Analysis of Correctness of High-Level Robot Behavior with ..."

Benjamin Johnson, Hadas Kress-Gazit (2011)

Details and statistics

DOI: 10.15607/RSS.2011.VII.020

access: open

type: Conference or Workshop Paper

metadata version: 2021-01-29

a service of  Schloss Dagstuhl - Leibniz Center for Informatics