Robots are becoming an important part of our life and industry. Although a lot of robot control interfaces have been developed to simplify the control method and improve user experience, users still cannot control robots comfortably. With the improvements of the robot functions, the requirements of universality and ease of use of robot control interfaces are also increasing. This research introduces a graphical interface for Linear Temporal Logic (LTL) specifications for mobile robots.
Download count: 0
- Partial requirement for: M.S., Arizona State University, 2016Note typethesis
- Includes bibliographical references (pages 76-79)Note typebibliography
- Field of study: Computer science