Pascal Bercher

2
Papers
0
Total Citations

Papers (2)

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

AAAI 2025
0
citations

On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence

AAAI 2024
0
citations