conftrace_

counter-example plan

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

optimal repair (1) planning domain (1) model repair (1) domain model (1) automated planning (1)

Papers

Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans AAAI 2025