Skip to content
@Tarheel-Formal-Methods

TarHeel Formal Methods

Popular repositories Loading

  1. kaa 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 poly…

    Python 5 1

  2. kaa-dynamic kaa-dynamic Public

    Reachability analysis tool created to investigate computing automatic dynamic parallelotope bundles for computing reachability of discrete non-linear dynamical systems

    Python 2

  3. hylaa hylaa Public

    Hylaa documentation initiative.

    Python 1

Repositories

Showing 3 of 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

    Tarheel-Formal-Methods/kaa-dynamic’s past year of commit activity
    Python 2 MIT 0 2 0 Updated Aug 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.

    Tarheel-Formal-Methods/kaa’s past year of commit activity
    Python 5 MIT 1 0 0 Updated Sep 21, 2020
  • hylaa Public

    Hylaa documentation initiative.

    Tarheel-Formal-Methods/hylaa’s past year of commit activity
    Python 1 GPL-3.0 0 0 0 Updated Apr 18, 2020

Top languages

Loading…

Most used topics

Loading…