All software
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
- Deductive verification
- formal methods
- GPU
- + 2
- (C)
- (C++)
- (Markdown)
- + 4
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
- Annotation-aware
- Deductive verification
- GPU
- + 2
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
- (C)
- (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
- (C)
- (C++)
- (JSON)
- + 6
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
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
Assets for JOAN: a framework for human-automated vehicle interaction experiments in a virtual reality driving simulator
Assets for JOAN: a framework for human-automated vehicle interaction experiments in a virtual reality driving simulator
- Carla simulator
- Driving simulation
- JOAN simulator
- + 1
ATHENS
ATHENS: Aerodynamic Tracer for High-altitude Environment Numerical Simulations
- Direct Simulation Monte Carlo (DSMC)
- free molecular flow
- gas-surface interaction
- + 2
- (C)
- (C++)
- (Markdown)
- + 3
Attitudes Toward a Virtual Smoking Cessation Coach: Analysis Code
Attitudes Toward a Virtual Smoking Cessation Coach: Analysis Code
- Acceptance
- Behavior change support systems
- Chatbot
- + 7
Axies: Identifying and Evaluating Context Specific Values - code
Axies: Identifying and Evaluating Context Specific Values - code
- Context
- Ethics
- NLP
- + 1
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
Bayesian Ensembles for Exploration in Deep Reinforcement Learning; Code underlying the dissertation "Bayesian Model-Free Deep Reinforcement Learning"
Bayesian Ensembles for Exploration in Deep Reinforcement Learning; Code underlying the dissertation "Bayesian Model-Free Deep Reinforcement Learning"
- Bayesian modelling
- Deep Reinforcement Learning (DRL)
- Ensemble model
- + 2
- (Markdown)
- (Python)