Sign in
On counter-examples to Aizerman and Kalman conjectures.
Igor M. Boiko
Nikolay V. Kuznetsov
R. N. Mokaev
Timur N. Mokaev
Marat V. Yuldashev
Renat V. Yuldashev
Published in:
Int. J. Control (2022)
Keyphrases
</>
counter examples
kalman filtering
kalman filter
theorem prover
filtering algorithm
answer sets
logic programs
logic programming
real time
databases
real world
image sequences
multiscale
median filter
linear quadratic