EE - From Natural Language to Safe Task and Motion Planning (ITMP)

This project aims to build robots that can understand everyday natural-language instructions and turn them into safe, verifiable behavior in complex environments. The research focuses on an Integrated Temporal Task and Motion Planning (ITMP) architecture that connects language, temporal logic, perception, scene-graph belief, task planning, motion optimization, and execution into one coherent pipeline. Students will work with techniques such as translating natural-language commands into finite-trace temporal logic, compiling these formulas into deterministic finite automata for task monitoring, building and querying 3D dynamic scene graphs for persistent semantic perception, and performing optimization-based task and motion planning using convex-region graphs. They will also help design and analyze runtime monitoring, failure classification, and abstraction refinement so that the robot can detect when plans are unsafe or mismatched to reality and repair the underlying models rather than silently failing. Undergraduates will participate by implementing and testing these components in simulation, integrating modules into the full pipeline, and running experiments that evaluate task success, contract satisfaction, safety, and recovery on realistic household-like scenarios.

Name of research group, project, or lab
Physical AI Research Group
Why join this research group or lab?

This lab is a dynamic place to work because it sits right at the frontier of embodied, safe AI for robots: connecting natural language, formal logic, rich 3D perception, and optimization-based motion planning in a single system that can be tested on realistic tasks and environments. The project is important because future service robots must do more than “follow a script”. Instead, they need explicit, checkable contracts for goals and safety constraints so that long-horizon behaviors like “deliver objects while avoiding certain rooms and hazards” can be verified and monitored rather than trusted blindly. Alongside this ITMP effort, the group is also working on integrated perception–planning–control for ground robots, physics-informed control and learning for Physical AI, and safety-aware planning and execution, giving students exposure to multiple cutting-edge directions in robotics and trustworthy AI within one research environment.

Logistics Information:
Project categories
Computer Science & Engineering
Electrical Engineering
Information Technology, Analytics, and Operations
Mathematics
Student ranks applicable
Sophomore
Junior
Senior
Graduate Student
Student qualifications

Students who thrive in this project are highly motivated, love mathematics, and enjoy challenging technical problems. A strong foundation in calculus, linear algebra, and discrete mathematics is important, along with solid programming skills in Python or MATLAB and interest in at least one of: formal methods (logic and automata), robotics, optimization, or machine learning. Prior exposure to topics such as dynamical systems, task and motion planning, or reinforcement learning is a plus but not strictly required; more important is the willingness to read technical papers and turn ideas into working code and experiments. Most tasks involve simulation, algorithm development, and software integration, with occasional benchtop robot interaction in standard indoor environments.

Hours per week
2 credits / 6-12 hours
Compensation
Research for Credit
Number of openings
2
Techniques learned

Students in this project will learn a range of modern techniques at the intersection of language, logic, perception, and motion planning for robots. They can expect to work with natural-language to finite-trace temporal logic (LTLf) translation, and with deterministic finite automata as task monitors that track temporal progress and safety constraints over execution traces. On the perception side, they will gain experience building and querying 3D dynamic scene graphs for persistent metric-semantic representation, and grounding symbolic propositions (like “in kitchen,” “holding soda,” or “near armchair”) in uncertain sensor data. For planning and execution, students will learn optimization-based task and motion planning using Graphs of Convex Sets, runtime monitoring and safety supervision, classification of execution failures (perception, geometry, action-model, or contract violations), and abstraction refinement patterns that repair the planning models without silently weakening the safety or task specification.
 

Project start
Fall 2026
Contact Information:
Mentor
hlin1@nd.edu
Professor
Name of project director or principal investigator
Hai Lin
Email address of project director or principal investigator
hlin1@nd.edu
2 sp. | 0 appl.
Hours per week
2 credits / 6-12 hours
Project categories
Information Technology, Analytics, and Operations (+3)
Computer Science & EngineeringElectrical EngineeringInformation Technology, Analytics, and OperationsMathematics