A Controlled Candidate-Set Benchmark for Offline Satellite-Security Plan Decomposition

João Paolo Cavalcante Martins Oliveira, Lucas Teske, Paulo Matias

Some security-development settings require local models that map an objective to an ordered, checkable plan. We present a low-rank decomposition adapter and release a case-disjoint…