first-order planning

First-order planning is an optimization method for approximating auditing strategies. It models the selection of auditing actions as a first-order linear programming problem and simplifies the solution by maintaining a scalar objective. It is used to derive regret bounds between approximate and optimal strategies.