AutoFilter is a program synthesis tool for the automatic generation of state estimation code from compact specifications.

• AutoFilter合成工具自动生成状态估计代码紧凑specifications.