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

Hiroyuki Nishiyama, Hayato Ohwada, Fumio Mizoguchi

Browse the full IROS paper archive.