The Resh Programming Language for Multirobot Orchestration
Martin Carroll, Kedar S. Namjoshi, Itai Segall

TL;DR
Resh is a new programming language designed for multirobot systems that simplifies programming by handling complex orchestration tasks through its runtime, supporting diverse robots and tasks with a small set of operators.
Contribution
Introduction of Resh, a statically typed, interpreted language with a runtime that automates multirobot orchestration using minimal operators and broad robot compatibility.
Findings
Resh effectively simplifies multirobot programming.
The runtime manages complex robot coordination.
Examples demonstrate practical application of Resh.
Abstract
This paper describes Resh, a new, statically typed, interpreted programming language and associated runtime for orchestrating multirobot systems. The main features of Resh are: (1) It offloads much of the tedious work of programming such systems away from the programmer and into the language runtime; (2) It is based on a small set of temporal and locational operators; and (3) It is not restricted to specific robot types or tasks. The Resh runtime consists of three engines that collaborate to run a Resh program using the available robots in their current environment. This paper describes both Resh and its runtime and gives examples of its use.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Logic, programming, and type systems · Robotic Path Planning Algorithms
