This paper presents an iterative autoregressive system parameter estimation algorithm in the presence of white observation noise. The algorithm is based on the parameter estimation...
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
The identification of a SISO linear dynamic system in the presence of output noise disturbances is studied. It is shown that a nonparametric model for the disturbing output noise ...
Using a B-spline representation for splines with knots seen as free variables, the approximation to data by splines improves greatly. The main limitations are the presence of too ...
A novel approach is presented to modeling action and change within the Situation Calculus in the presence of both non-determinism and probabilistic behavior. Two examples are give...