4 datasets found

Tags: statistical model

Filter Results

  • RVPF Dataset

    The dataset is used to evaluate the Runtime Verification with Particle Filtering (RVPF) algorithm. It is a statistical model of the monitored system to fill in sampling-induced...

  • AP-RVSE Dataset

    The dataset is used to evaluate the Approximate Precomputed Runtime Verification with State Estimation (AP-RVSE) algorithm. It is a statistical model of the monitored system to...

  • RVSE Dataset

    The dataset is used to evaluate the Runtime Verification with State Estimation (RVSE) algorithm. It is a statistical model of the monitored system to fill in sampling-induced...

  • effective dimension of a statistical model

    The dataset is not explicitly described in the paper, but it is mentioned that it is used to test the proposed notion of effective dimension.
You can also access this registry using the API (see API Docs).