학술논문
Quantitative verification of Kalman filters
Document Type
Article
Author
Source
In: Formal Aspects of Computing . (Formal Aspects of Computing, August 2021, 33(4-5):669-693)
Subject
Language
English
ISSN
1433299X
09345043
09345043