Dynamic Logic Applied to SAR Data for Parameter Estimation Behind Walls | IEEE Conference Publication | IEEE Xplore