Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions

Document Details

Document Type: Pub Defense Publication
Publication Date: Oct 01, 2023
Source ID: 10.1109/tro.2023.3294918

Entities

People

Hadas Kress-Gazit
Wil Thomason

Organizations

Computing Research Association
Cornell University
National Science Foundation
Rice University
United States Department of Defense