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
- 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
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
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++
- Markdown
- + 2
Code to test the implementation of linear Bi-level Parent-Child MPC
Code to test the implementation of linear Bi-level Parent-Child MPC
- Hierarchical MPC
- Model predictive control
- Robust optimization
- + 1
- C
- HTML
- Markdown
- + 4
Code to test the implementation of nonlinear Bi-level Parent-Child MPC
Code to test the implementation of nonlinear Bi-level Parent-Child MPC
- Hierarchical MPC
- Model predictive control
- Robust optimization
- + 1
- C
- HTML
- Markdown
- + 4
decade
DECADE (Delft Contextually-Aided Distributed Scatterer Environment) InSAR processing code
- hydrology
- InSAR
- InSAR Applications
- + 2
- C
- Markdown
- Matlab
- + 1
ETSI-QKD014-client
ETSI GS QKD 014 client command-line program and library for Rust and C
- ETSI GS QKD 014
- QKD
- Quantum Key Distribution
- C
- Markdown
- Other
- + 2
GSI_ToolBox
GSI ToolBox underlying the publication: A Wave Scattering Approach to Modelling Surface Roughness in Orbital Aerodynamics
- aerodynamic drag
- gas-surface interaction
- scattering dynamics
- + 1
- C
- C++
- CSS
- + 7
Implementation of approximate SDD-TMPC (state-dependent dynamic tube model predictive control) for a nonlinear problem
Implementation of approximate SDD-TMPC (state-dependent dynamic tube model predictive control) for a nonlinear problem
- Approximate MPC
- Robust optimization
- Spiking neural networks
- C
- HTML
- Jupyter Notebook
- + 7
Implementation Regarding Publication "Fuzzy-Logic-based model predictive control: A paradigm integrating optimal and common-sense decision making"
Implementation Regarding Publication "Fuzzy-Logic-based model predictive control: A paradigm integrating optimal and common-sense decision making"
- fuzzy logic
- Model predictive control
- multi robot system
- C
- HTML
- Markdown
- + 4