Airin Dutta

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Stochastic Models

Formal Verification

Top Venues

Publications

Peiyuan Zhou, Saswata Paul, Airin Dutta, Carlos Varela, Fotis Kopsaftopoulos
On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models. DDDAS (2022)