Sign in

On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models.

Peiyuan ZhouSaswata PaulAirin DuttaCarlos VarelaFotis Kopsaftopoulos
Published in: DDDAS (2022)
Keyphrases
  • data driven
  • formal verification
  • lower bound
  • model checking
  • upper bound
  • probabilistic model
  • stochastic model
  • stochastic models
  • objective function
  • branch and bound algorithm