Currently working on Automatic Trajectory Generation and Control for Robots using Linear Temporal Logic. Working towards, incorporating Robogami, and Linear Temporal Mission Planning Toolkit(LTLMOP) to develop and End-to-End system for User Designed Robots.