A fixed-parameter tractable algorithm for combinatorial filter reduction