A Verified Compositional Algorithm for AI Planning
Work
Year: 2019
Type: article
Source: Interactive Theorem Proving
Cites:
Cited by: 5
Related to: 20
FWCI: 0.198
Citation percentile (by year/subfield): 63.07
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Sustainable cities and communities
Open Access status: closed