conftrace_

plan robustness

3 papers

Explore in graph

Co-occurring keywords

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

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 NIPS 2013