conftrace_

plan robustness

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

automated planning (2) domain incompleteness (1) satisfiability modulo theory (1) conformant planning (1) plan synthesis (1) satisfiability modulo theories (1) simple temporal network (1) plan validation (1) execution-invariant planning (1) robustness envelope (1)

Papers

An Approach to Quantify Plans Robustness in Real-world Applications IJCAI 2025 Robustness Envelopes for Temporal Plans AAAI 2019 Synthesizing Robust Plans under Incomplete Domain Models NeurIPS 2013