All software
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
bounded-private-cycle-detection
Source code underlying the publication: Privacy-Preserving Peer-to-Peer Cycle Detection
- cycle detection
- multi-party computation
- privacy-preserving
- + 1
- C++
- C
- Other
- + 2
CEConv
Code underlying the publication: Color Equivariant Convolutional Networks
- color equivariance
- color robustness
- equivariance
- + 1
- Python
- Markdown
- Other
CHI2025_Plan-then-Execute_LLMAgent
User Interaction Dataset for CHI 2025 paper "Plan-Then-Execute: An Empirical Study of User Trust and Team Performance When Using LLM Agents As A Daily Assistant."
- Daily Assistant
- Human-AI Collaboration
- large language models
- + 2
- JSON
- Other
- Python
- + 7
Cluster Analysis of Temporal Patterns of Travel Production
The codes associated with the publication: A Cluster Analysis of Temporal Patterns of Travel Production in the Netherlands: Dominant within-day and day-to-day patterns and their association with Urbanization Levels
- demand pattern
- land-use feature
- temporal pattern
- + 2
- Jupyter Notebook
- Python
- Markdown
- + 1
Code belonging to the publication: Closed-loop model-predictive wind farm flow control under time-varying inflow using FLORIDyn
Code belonging to the publication: Closed-loop model-predictive wind farm flow control under time-varying inflow using FLORIDyn
- dynamic engineering wake model
- FLORIDyn
- MATLAB
- + 5
- Other
- Matlab
- Markdown
- + 1
Code for project: Approximate Edge AI Components for energy-aware adaptive framework
Code for project: Approximate Edge AI Components for energy-aware adaptive framework
- approximation
- edge devices
- Energy-aware computing
- + 2
- Python
- Markdown
- YAML
- + 1
Code for publication: A general partitioning strategy for non-centralized control
Code for publication: A general partitioning strategy for non-centralized control
- Complex Large-Scale Systems
- Hybrid Systems
- Non-Centralized Control
- + 2
- Other
- Python
- Markdown
Code for the Implementation of State-Dependent dynamic tube model predictive control
Code for the Implementation of State-Dependent dynamic tube model predictive control
- Fuzzy model
- Model predictive control
- Robust optimization
- Matlab
- Markdown