All software
group-trip-planning
Code underlying the publication: When in Doubt! Understanding the Role of Task Characteristics on Peer Decision-Making with AI Assistance
- Empirical Studies
- Group Decision-Making
- Human-AI Decision-Making
- + 5
- Other
- Python
- JSON
- + 4
Hodge-Edge-GP
Code underlying: Hodge-Compositional Edge Gaussian Processes
- edge space
- forex
- Gaussian process
- + 2
- Jupyter Notebook
- Python
- Other
- + 3
APS
APS: Asses Pedestrian model Speed framework
- Computational Complexity
- Model assessment framework
- Pedestrian models
- + 1
- Python
- Other
- Markdown
- + 1
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
- argon
- laser
- laser-sustained plasma
- + 4
- Other
- TeX
- Jupyter Notebook
- + 5
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
- Correct-by-construction
- Floating-point
- IEEE 754
- + 6
- Other
- C
- JSON
- + 5
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
- Other
- XML
- JSON
- + 6
Artifact of Knor: reactive synthesis using Oink
Artifact of Knor: reactive synthesis using Oink
- binary decision diagrams
- parity games
- reactive synthesis
- Other
- C
- HTML
- + 15
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
- Other
- C
- C++
- + 4
bachelor-thesis
Code underlying the BSc thesis: Creating Robust Train Unit Shunting Plans using Probabilistic Programming
- inference
- Probabilistic modelling
- railroad
- + 12
- JSON
- Other
- Julia
- + 2
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
- TeX
- Haskell
- Other
- + 4
complex_stylized_supply_chain_model_generator
Code: Complex Stylized Supply Chain Model - Automatic Graph Generator
- graph generator
- model
- Simulation
- + 1
- Python
- Other
- JSON
- + 1
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
- Python
- JSON
- HTML
- + 4