RI: Small: Sound Abstractions for Efficient and Reliable Automated Planning

Project: Research project

Project Details

Description

RI: Small: Sound Abstractions for Efficient and Reliable Automated Planning RI: Small: Sound Abstractions for Efficient and Reliable Automated Planning RI: Small: Sound Abstractions for Efficient and Reliable Automated Planning
StatusActive
Effective start/end date5/1/197/31/23

Funding

  • National Science Foundation (NSF): $515,923.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.