Skip to content

@Tarheel-Formal-Methods TarHeel Formal Methods

Change the repository type filter

All

    Repositories list

    3 repositories

    • kaa-dynamic

      Public
      Reachability analysis tool created to investigate computing automatic dynamic parallelotope bundles for computing reachability of discrete non-linear dynamical systems
      Python
      •
      MIT License
      •0•2•2•0•Updated Aug 1, 2022Aug 1, 2022

    • kaa

      Public
      A rewrite of Sapo in Python. Kaa is an experimental tool used to compute the reachable set of polynomial non-linear discrete dynamical systems by leveraging parallelotope bundles and Bernstein polynomials.
      Python
      •
      MIT License
      •1•5•0•0•Updated Sep 21, 2020Sep 21, 2020

    • hylaa

      Public
      Hylaa documentation initiative.
      Python
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Apr 18, 2020Apr 18, 2020