Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
3
datasets available to search
ShareScore release 0.9.0
Dataset results
3 results for “deep statistical model checking”
Models and Infrastructure used in "Deep Statistical Model Checking"
<p>This repository contains the models and all other infrastructure (learning procedure, NNs, Jani generator, maps, modes & mcsta binaries) used in the FORTE 2020 paper "Deep Statistical Model Checking".</p>
Artifact of Infrastructure and Tools in the Context of Deep Statistical Model Checking
<p>This artifact contains all infrastructure, tools, and additional material used in the context of Deep Statistical Model Checking (DSMC). This includes the DSMC implementation in modes of the Modest Toolset, the infrastructure used to perform case studies on DSMC, the environment and scripts in which the scalability study on DSMC has been performed, the integration of DSMC in MoGym, and also the TraceVis tool. The content has partially been covered in artifacts accompanying individual papers on DSMC, but is combined here based on a single infrastructure. Each folder contains its own readme describing how to use the scripts, tools, and infrastructure, often also with concrete instructions on how to execute exemplary experiments.</p>
Artifact for the Scalability Study of the STTT Paper "Analyzing Neural Network Behavior through Deep Statistical Model Checking"
<p>Scripts and infrastructure for the scalability study on DSMC published in the STTT paper "Analyzing Neural Network Behavior through Deep Statistical Model Checking".</p>
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.