"Logic specifications for multiple robots based on a current programming ..."

Hiroyuki Nishiyama, Hayato Ohwada, Fumio Mizoguchi (1998)

Details and statistics

DOI: 10.1109/IROS.1998.724633

access: closed

type: Conference or Workshop Paper

metadata version: 2017-05-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics