Repositories list

• Anchors-signals-MCTS

  Public
  Implements the algorithm introduced in our paper: Temporal Logic Explanations for Dynamic Decision Systems using Anchors and Monte Carlo Tree Search

  temporal-logicmonte-carlo-tree-searchdynamic-systems+ 1explainability

  Python

  •1•2•0•0•Updated Mar 18, 2023Mar 18, 2023

• PrivateDynamicData.jl

  Public
  Differentially private dynamic data analysis in Julia

  julia-languagedifferential-privacyjulia

  Julia

  •1•2•0•0•Updated Nov 11, 2022Nov 11, 2022

• NavigationSystems.jl

  Public
  A Julia package supporting the design of multi-sensor integrated navigation systems

  Julia

  •

  Mozilla Public License 2.0

  •1•3•0•0•Updated Mar 22, 2020Mar 22, 2020

• crazyflie-public

  Public
  Our public repository for the Crazyflie 2.0 nanoquadcopter from Bitcraze

  C

  •

  GNU General Public License v3.0

  •17•19•1•0•Updated Aug 13, 2016Aug 13, 2016