Skip to content Skip to navigation

Distribution Temporal Logic: Combining Correctness with Quality of Estimation

A. Jones, Schwager, M., and Belta, C., Distribution Temporal Logic: Combining Correctness with Quality of Estimation, in Proc. of the IEEE Conference on Decision and Control (CDC 13), Florence, Italy, 2013, pp. 4719–4724.