Abstract
This paper presents the enhancements introduced in the second version of RMTool, an open-source Matlab-based interactive software for teaching mobile robotics in introductory courses. In the first version only navigation problem of one robot has been considered (the robot should avoid obstacles and reach a desired position). In the actual version, the toolbox introduces new algorithms to cope with modeling and path planning of multiple identical robots, where the final states of the robots and the regions visited along trajectories should satisfy Linear Temporal Logic (LTL) or Boolean-based formulas. The paper includes extensive simulation results performed in RMTool, pertained to multi-robot path planning based on an LTL or Boolean team specification.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
