Repositories list

• switched_visual_tracker_doc

  Public
  Doc for switched visual tracker

  0•0•0•0•Updated Sep 20, 2024Sep 20, 2024

• DroneExperiments

  Public
  This repository hosts the code base and documentation for conducting drone experiments in IRL.

  C

  •0•1•0•0•Updated Aug 27, 2024Aug 27, 2024

• Vision-Localization

  Public
  Vision-based localization with particle filtering

  MIT License

  •0•0•0•0•Updated Sep 18, 2023Sep 18, 2023

• HooVer

  Public
  HooVer: a statistical model checking tool with optimistic optimization

  verificationmodelcheckingautonomy

  Python

  •

  University of Illinois/NCSA Open Source License

  •0•1•0•0•Updated May 6, 2023May 6, 2023

• NeuReach

  Public
  NeuReach: Learning Reachability Functions from Simulations

  neural-networksautonomous-systemscyber-physical-systems+ 2reachability-analysisreachable-sets

  Python

  •

  University of Illinois/NCSA Open Source License

  •0•3•0•0•Updated May 5, 2023May 5, 2023

• FACTEST

  Public
  This is the official repository for the FACTEST framework.

  Python

  •6•1•0•0•Updated Dec 1, 2020Dec 1, 2020