Behavioral and Temporal Rule Checking for Gaussian Random Process - a Kalman Filter Example

Doron Drusinsky. Behavioral and Temporal Rule Checking for Gaussian Random Process - a Kalman Filter Example. J. UCS, 19(15):2198-2206, 2013. [doi]

Abstract

Abstract is missing.