Quantitative verification of Kalman filters (Q1982642): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-020-00529-w
+Normal rank
@@ Property / OpenAlex ID @@
+W3129162506
@@ Property / OpenAlex ID: W3129162506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993534
@@ Property / cites work: Q3993534 / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization methods for discrete sequential estimation
+Normal rank
@@ Property / cites work @@
+Q5562423
@@ Property / cites work: Q5562423 / rank @@
+Normal rank
@@ Property / cites work @@
+Tracking and data association
@@ Property / cites work: Tracking and data association / rank @@
+Normal rank
@@ Property / cites work @@
+Kalman Filtering
@@ Property / cites work: Kalman Filtering / rank @@
+Normal rank
@@ Property / cites work @@
+Performance Analysis of the Kalman Filter With Mismatched Noise Covariances
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic processes and filtering theory
@@ Property / cites work: Stochastic processes and filtering theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315010
@@ Property / cites work: Q4315010 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902876
@@ Property / cites work: Q3902876 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic models, estimation, and control. Vol. 2,3
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical aspects of different Kalman filter implementations
+Normal rank
@@ Property / cites work @@
+Q4449118
@@ Property / cites work: Q4449118 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating the implementation of Kalman filter algorithms
+Normal rank