All software

1Filter
Keywords
196
Program languages
98
Licenses
17
37-48 of 73
Logo for 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"

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
5
0
Logo for 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"

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
3
0
Logo for Artifact of Knor: reactive synthesis using Oink

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
1
0
Logo for 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"

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
1
0
Logo for bounded-private-cycle-detection

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
2
0
Logo for GSI_ToolBox

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
  • HTML
  • TeX
  • Other
  • + 7
5
0
Logo for IntervalMDPAbstractions.jl_ReproducibilityPackage

IntervalMDPAbstractions.jl_ReproducibilityPackage

Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions

  • embedded systems
  • Markov processes
  • Stochastic control and optimization
  • JSON
  • C++
  • HTML
  • + 10
3
0
Logo for MLAT

MLAT

Solver for MLAT localization problem + tracking software

  • control theory
  • OBservers
  • optimization
  • Other
  • Python
  • C++
  • + 1
2
0
Logo for MLATjs

MLATjs

MLAT application - an application designed to visualize accuracy of MLAT measurments over large areas

  • Aerospace
  • data visualization
  • Localization
  • + 2
  • JavaScript
  • HTML
  • Markdown
  • + 14
2
0
Logo for oraqle

oraqle

Oraqle: A Depth-Aware Secure Computation Compiler

  • arithmetization
  • compiler
  • cryptography
  • + 1
  • Python
  • Other
  • Markdown
  • + 4
1
0
Logo for perm_map_circuits

perm_map_circuits

Code underlying: Efficient Circuits for Permuting and Mapping Packed Values Across Leveled Homomorphic Ciphertexts

  • cryptography
  • graph coloring
  • homomorphic encryption
  • + 1
  • C++
  • C
  • Markdown
  • + 2
2
0
Logo for Predictive_Traffic_Signal_Control

Predictive_Traffic_Signal_Control

Real-Time Predictive Traffic Signal Control Application for Prototyping

  • Model predictive control
  • prediction error
  • prediction uncertainty
  • + 3
  • Other
  • C++
  • C
  • + 3
1
0