\tThe Space Technology Research Grants Program will accelerate the development of "push" technologies to support the future space science and exploration needs of NASA, other government agencies and the commercial space sector. Innovative efforts with high risk and high payoff will be encouraged. The program is composed of two competitively awarded components.
","parentProgram":{"ableToSelect":false,"isActive":true,"description":"Catalyst is a portfolio of early stage programs that specialize in different innovation constituencies and mechanisms to push the state of the art in aerospace technology development","programId":92327,"responsibleMd":{"canUserEdit":false,"locationEdit":false,"organizationRolePretty":"","organizationTypePretty":""},"title":"Catalyst","manageGaps":false,"acronymOrTitle":"Catalyst"},"parentProgramId":92327,"programId":69,"responsibleMd":{"organizationId":4875,"organizationName":"Space Technology Mission Directorate","acronym":"STMD","organizationType":"NASA_Mission_Directorate","canUserEdit":false,"locationEdit":false,"organizationRolePretty":"","organizationTypePretty":"NASA Mission Directorate"},"responsibleMdOffice":4875,"stockImageFileId":36658,"title":"Space Technology Research Grants","manageGaps":false,"acronymOrTitle":"STRG"},"description":"This proposal lays out a research plan to \"lift\" current state-of-the-art results combining discrete and continuous layers of planning in motion planning to the more difficult and more useful problem of task and motion planning. The impact of such research is quite broad, and the current advances in AI and motion planning have made research in this area a hot topic in the robotics community. The uniqueness of this plan lies largely in the proposal to develop tools for verification and falsification in parallel with the tools for task and motion planning. It is expected that doing so will lead to more practical tools for our current robot systems. The significance for NASA is quite broad. Generally, NASA wants to use robots for remote exploration and for collaboration with astronauts. NASA wants robots to perform tasks that are too dangerous (searching for damage on the exterior of the ISS), too remote (exploring Mars), or too difficult (moving heavy objects on the moon) for a human. By increasing the level of autonomy in robots and by ensuring that they function safely and correctly, the depth and extent of missions can be increased.
","benefits":"The significance for NASA is quite broad. Generally, NASA wants to use robots for remote exploration and for collaboration with astronauts. NASA wants robots to perform tasks that are too dangerous (searching for damage on the exterior of the ISS), too remote (exploring Mars), or too difficult (moving heavy objects on the moon) for a human. By increasing the level of autonomy in robots and by ensuring that they function safely and correctly, the depth and extent of missions can be increased.
","releaseStatus":"Released","status":"Completed","viewCount":615,"destinationType":["Mars","Moon_and_Cislunar","Earth"],"trlBegin":2,"trlCurrent":3,"trlEnd":3,"lastUpdated":"12/18/25","favorited":false,"detailedFunding":false,"projectContacts":[{"contactId":253942,"canUserEdit":false,"firstName":"Julia","lastName":"Badger","fullName":"Julia M Badger","fullNameInverted":"Badger, Julia M","middleInitial":"M","email":"julia.m.badger@nasa.gov","receiveEmail":"Subscribed_User","projectContactRole":"Project_Manager","projectContactId":561193,"projectId":94150,"programContactRolePretty":"","projectContactRolePretty":"Project Manager"},{"contactId":300970,"canUserEdit":false,"firstName":"Lydia","lastName":"Kavraki","fullName":"Lydia Kavraki","fullNameInverted":"Kavraki, Lydia","receiveEmail":"Subscribed_User","projectContactRole":"Principal_Investigator","projectContactId":561192,"projectId":94150,"programContactRolePretty":"","projectContactRolePretty":"Principal Investigator"},{"contactId":23394,"canUserEdit":false,"firstName":"Andrew","lastName":"Wells","fullName":"Andrew Wells","fullNameInverted":"Wells, Andrew","receiveEmail":"Subscribed_User","projectContactRole":"Co_Investigator","projectContactId":561194,"projectId":94150,"programContactRolePretty":"","projectContactRolePretty":"Co-Investigator"}],"programContacts":[{"contactId":321177,"canUserEdit":false,"firstName":"Matthew","lastName":"Deans","fullName":"Matthew C Deans","fullNameInverted":"Deans, Matthew C","middleInitial":"C","email":"matthew.c.deans-1@nasa.gov","receiveEmail":"Subscribed_User","programContactRole":"Program_Director","programContactId":267,"programId":69,"programContactRolePretty":"Program Director","projectContactRolePretty":""},{"contactId":183514,"canUserEdit":false,"firstName":"Hung","lastName":"Nguyen","fullName":"Hung D Nguyen","fullNameInverted":"Nguyen, Hung D","middleInitial":"D","email":"hung.d.nguyen@nasa.gov","receiveEmail":"Subscribed_User","programContactRole":"Program_Manager","programContactId":162,"programId":69,"programContactRolePretty":"Program Manager","projectContactRolePretty":""}],"leadOrganization":{"organizationId":2854,"organizationName":"Rice University","organizationType":"Academia","city":"Houston","stateTerritoryId":29,"stateTerritory":{"abbreviation":"TX","country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"name":"Texas","stateTerritoryId":29,"isTerritory":false},"country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"zipCode":"77005","murepUnitId":227757,"academicDegreeType":"Private_4_year","projectId":94150,"projectOrganizationId":587169,"organizationRole":"Lead_Organization","canUserEdit":false,"locationEdit":false,"organizationRolePretty":"Lead Organization","organizationTypePretty":"Academia"},"otherOrganizations":[{"organizationId":2854,"organizationName":"Rice University","organizationType":"Academia","city":"Houston","stateTerritoryId":29,"stateTerritory":{"abbreviation":"TX","country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"name":"Texas","stateTerritoryId":29,"isTerritory":false},"country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"zipCode":"77005","murepUnitId":227757,"academicDegreeType":"Private_4_year","projectId":94150,"projectOrganizationId":587169,"organizationRole":"Lead_Organization","canUserEdit":false,"locationEdit":false,"organizationRolePretty":"Lead Organization","organizationTypePretty":"Academia"},{"organizationId":4853,"organizationName":"Johnson Space Center","acronym":"JSC","organizationType":"NASA_Center","city":"Houston","stateTerritoryId":29,"stateTerritory":{"abbreviation":"TX","country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"name":"Texas","stateTerritoryId":29,"isTerritory":false},"country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"zipCode":"77058","projectId":94150,"projectOrganizationId":587168,"organizationRole":"Supporting_Organization","canUserEdit":false,"locationEdit":false,"organizationRolePretty":"Supporting Organization","organizationTypePretty":"NASA Center"}],"primaryTx":{"taxonomyNodeId":11275,"taxonomyRootId":8817,"parentNodeId":11272,"code":"TX10.2.3","title":"Path Planning","description":"Path planning technologies generate or modify a path or trajectory to reach a desired target physical location or configuration subject to system and environment constraints.","exampleTechnologies":"Robotic arm/manipulator kinematics/dynamic planning, robot surface motion planning, spacecraft attitude / trajectory planning, aircraft path planning","level":3,"hasChildren":false,"selected":false,"isPrimary":true,"hasInteriorContent":true},"primaryTxTree":[[{"taxonomyNodeId":11264,"taxonomyRootId":8817,"code":"TX10","title":"Autonomous Systems","level":1,"hasChildren":true,"selected":false,"hasInteriorContent":true},{"taxonomyNodeId":11272,"taxonomyRootId":8817,"parentNodeId":11264,"code":"TX10.2","title":"Reasoning and Acting Technologies","description":"Reasoning and acting technologies analyze and evaluate situations (past, present, or future) for decision-making and for directing actions to achieve a goal or a mission.","level":2,"hasChildren":true,"selected":false,"hasInteriorContent":true},{"taxonomyNodeId":11275,"taxonomyRootId":8817,"parentNodeId":11272,"code":"TX10.2.3","title":"Path Planning","description":"Path planning technologies generate or modify a path or trajectory to reach a desired target physical location or configuration subject to system and environment constraints.","exampleTechnologies":"Robotic arm/manipulator kinematics/dynamic planning, robot surface motion planning, spacecraft attitude / trajectory planning, aircraft path planning","level":3,"hasChildren":false,"selected":true,"hasInteriorContent":true}]],"technologyOutcomes":[{"technologyOutcomeId":97835,"projectId":94150,"project":{"projectId":94150,"title":"Integrated Task and Motion Planning with Verification via Formal Methods","startDate":"2017-08-01","startYear":2017,"startMonth":8,"endDate":"2021-07-31","endYear":2021,"endMonth":7,"programId":69,"program":{"ableToSelect":false,"acronym":"STRG","isActive":true,"description":"\tThe Space Technology Research Grants Program will accelerate the development of "push" technologies to support the future space science and exploration needs of NASA, other government agencies and the commercial space sector. Innovative efforts with high risk and high payoff will be encouraged. The program is composed of two competitively awarded components.
","parentProgram":{"ableToSelect":false,"isActive":true,"description":"Catalyst is a portfolio of early stage programs that specialize in different innovation constituencies and mechanisms to push the state of the art in aerospace technology development","programId":92327,"responsibleMd":{"canUserEdit":false,"locationEdit":false,"organizationRolePretty":"","organizationTypePretty":""},"title":"Catalyst","manageGaps":false,"acronymOrTitle":"Catalyst"},"parentProgramId":92327,"programId":69,"responsibleMd":{"organizationId":4875,"organizationName":"Space Technology Mission Directorate","acronym":"STMD","organizationType":"NASA_Mission_Directorate","canUserEdit":false,"locationEdit":false,"organizationRolePretty":"","organizationTypePretty":"NASA Mission Directorate"},"responsibleMdOffice":4875,"stockImageFileId":36658,"title":"Space Technology Research Grants","manageGaps":false,"acronymOrTitle":"STRG"},"description":"This proposal lays out a research plan to \"lift\" current state-of-the-art results combining discrete and continuous layers of planning in motion planning to the more difficult and more useful problem of task and motion planning. The impact of such research is quite broad, and the current advances in AI and motion planning have made research in this area a hot topic in the robotics community. The uniqueness of this plan lies largely in the proposal to develop tools for verification and falsification in parallel with the tools for task and motion planning. It is expected that doing so will lead to more practical tools for our current robot systems. The significance for NASA is quite broad. Generally, NASA wants to use robots for remote exploration and for collaboration with astronauts. NASA wants robots to perform tasks that are too dangerous (searching for damage on the exterior of the ISS), too remote (exploring Mars), or too difficult (moving heavy objects on the moon) for a human. By increasing the level of autonomy in robots and by ensuring that they function safely and correctly, the depth and extent of missions can be increased.
","benefits":"The significance for NASA is quite broad. Generally, NASA wants to use robots for remote exploration and for collaboration with astronauts. NASA wants robots to perform tasks that are too dangerous (searching for damage on the exterior of the ISS), too remote (exploring Mars), or too difficult (moving heavy objects on the moon) for a human. By increasing the level of autonomy in robots and by ensuring that they function safely and correctly, the depth and extent of missions can be increased.
","releaseStatus":"Released","status":"Completed","destinationType":["Mars","Moon_and_Cislunar","Earth"],"trlBegin":2,"trlCurrent":3,"trlEnd":3,"favorited":false,"detailedFunding":false,"programContacts":[{"contactId":183514,"canUserEdit":false,"firstName":"Hung","lastName":"Nguyen","fullName":"Hung D Nguyen","fullNameInverted":"Nguyen, Hung D","middleInitial":"D","email":"hung.d.nguyen@nasa.gov","receiveEmail":"Subscribed_User","programContactRole":"Program_Manager","programContactId":162,"programId":69,"programContactRolePretty":"Program Manager","projectContactRolePretty":""},{"contactId":321177,"canUserEdit":false,"firstName":"Matthew","lastName":"Deans","fullName":"Matthew C Deans","fullNameInverted":"Deans, Matthew C","middleInitial":"C","email":"matthew.c.deans-1@nasa.gov","receiveEmail":"Subscribed_User","programContactRole":"Program_Director","programContactId":267,"programId":69,"programContactRolePretty":"Program Director","projectContactRolePretty":""}],"endDateString":"Jul 2021","startDateString":"Aug 2017"},"technologyOutcomeDate":"2021-07-01","technologyOutcomePath":"Closed_Out","details":"In this work, we combined discrete and continuous planning for task and motion planning and provided some guarantees on correct operation. We integrated current advances in AI, machine learning, formal languages and methods, verification, and robotics into a framework capable of specifying high-level missions for robots and translating these specifications efficiently to safe motions on robotic systems.
We have published two main lines of work in this area. The first is in planning and includes papers on Task and Motion Planning, Multi-Modal Planning, multi-robot planning and multi-robot task and motion planning. The second line of work is in synthesis and includes papers on reactive synthesis, theoretical foundations of probabilistic synthesis, probabilistic synthesis for robotics and a paper on stochastic games currently in progress. We have also open-sourced several of our tools on GitHub and DockerHub.
","infoText":"Closed out","infoTextExtra":"Project closed out","isIndirect":false,"infusionPretty":"","isBiDirectional":false,"technologyOutcomeDateString":"Jul 2021","technologyOutcomeDateFullString":"July 2021","technologyOutcomePartnerPretty":"","technologyOutcomePathPretty":"Closed Out","technologyOutcomeRationalePretty":""}],"libraryItems":[{"files":[],"libraryItemId":368443,"title":"Project Website","libraryItemType":"Link","url":"https://www.nasa.gov/strg#.VQb6T0jJzyE","projectId":94150,"internalOnly":false,"publishedDateString":"","entryDateString":"01/22/25 01:10 AM","libraryItemTypePretty":"Link","modifiedDateString":"10/25/24 02:23 PM"}],"states":[{"abbreviation":"TX","country":{"abbreviation":"US","countryId":236,"name":"United States"},"countryId":236,"name":"Texas","stateTerritoryId":29,"isTerritory":false}],"endDateString":"Jul 2021","startDateString":"Aug 2017"}}