Skip to main content
Ctrl K

All software

61 software items. Page 3 of 6. 12 items per page. 1 filters active.
25-36 of 61

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

  • Correct-by-construction
  • Interactive Theorem Proving
  • Maximal End Components
  • + 3
  • C
  • C++
  • JSON
  • + 6
3
0

Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

  • binary decision diagrams
  • parity games
  • reactive synthesis
  • Automake
  • C
  • C++
  • + 15
1
0

Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

  • Correct-by-construction
  • Interactive Theorem Proving
  • Markov decision process
  • + 1
  • C
  • C++
  • JSON
  • + 4
1
0

bachelor-thesis

Code underlying the BSc thesis: Creating Robust Train Unit Shunting Plans using Probabilistic Programming

  • inference
  • Probabilistic modelling
  • railroad
  • + 12
  • JSON
  • Julia
  • Markdown
  • + 2
1
0

BEWARE

BEWARE Artifact: Code and Datasets for "Robust and Automated Reconfiguration of Byzantine Wide-Area Replication"

  • BFT-SMaRt
  • Byzantine fault tolerance
  • consensus latency
  • + 7
  • Java
  • JSON
  • Markdown
  • + 5
4
0

bluesky_gym_population_density_extension

Data supporting the Master's thesis "Balancing Noise and Fuel: Spatially Aware Reinforcement Learning for Air Traffic Control"

  • air traffic control
  • Convolutional Neural Network
  • noise abatement
  • + 2
  • JSON
  • large-text-file
  • Markdown
  • + 4
1
0

Code accompanying "Observing formation and early evolution of contrails formed by IAGOS aircraft using high-resolution LEO satellite imagery"

Code accompanying "Observing formation and early evolution of contrails formed by IAGOS aircraft using high-resolution LEO satellite imagery"

  • CoCiP
  • Contrails
  • IAGOS
  • + 4
  • JSON
  • Jupyter Notebook
  • large-text-file
  • + 3
4
0

Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints

Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints

  • Dependent Types
  • elaboration
  • elaborators
  • + 3
  • Haskell
  • JSON
  • Jupyter Notebook
  • + 4
2
0

complex_stylized_supply_chain_model_generator

Code: Complex Stylized Supply Chain Model - Automatic Graph Generator

  • graph generator
  • model
  • Simulation
  • + 1
  • JSON
  • Other
  • Python
  • + 1
1
0

Data and code underlying the paper: "Can we predict the Most Replayed data of video streaming platforms?"

Data and code underlying the paper: "Can we predict the Most Replayed data of video streaming platforms?"

  • computer vision
  • Most Replayed Data
  • Video streaming
  • + 1
  • HTML
  • JSON
  • Jupyter Notebook
  • + 4
3
0

Data and code underlying the PhD thesis: Pixels · People · Places: Computer Vision and Image Embeddings for Perception-Aware Urban Analytics

Data and code underlying the PhD thesis: Pixels · People · Places: Computer Vision and Image Embeddings for Perception-Aware Urban Analytics

  • AI techniques
  • computer vision
  • multi-dimensional space
  • + 1
  • JSON
  • Jupyter Notebook
  • large-text-file
  • + 3
1
0

djehuty

Source code of the 4TU.ResearchData and Nikhef data repository

  • 4TU.ResearchData
  • Data repository
  • Djehuty
  • Automake
  • CSS
  • HTML
  • + 9
12
0