30 citations · 31 across the 2 of their papers we have counts for
2 papers
cs.AI2017★ 1 cited
Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains
Sara Bernardini, Fabio Fagnani, David E. Smith
We present a technique for automatically extracting mutual exclusion invariants from temporal planning instances. It first identifies a set of invariant templates by inspecting the…
cs.AI2012★ 30 cited
Optimal Limited Contingency Planning
Nicolas Meuleau, David Smith
For a given problem, the optimal Markov policy can be considerred as a conditional or contingent plan containing a (potentially large) number of branches. Unfortunately, there are…