A Modular ROS package for Linear Temporal Logic based Motion Planning
abstract: Objective of this thesis project is to build a prototype using Linear Temporal Logic specifications for generating a 2D motion plan commanding an iRobot to fulfill the specifications. This thesis project was created for Cyber Physical Systems Lab in Arizona State University. The end produc...
| Other Authors: | |
|---|---|
| Format: | Dissertation |
| Language: | English |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2286/R.I.17955 |