Login / Signup
On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models.
Peiyuan Zhou
Saswata Paul
Airin Dutta
Carlos Varela
Fotis 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