Pinned Loading

1. IMPaCT IMPaCT Public

   IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthe…

   C++ 11 1

2. TRUST TRUST Public

   TRUST: StabiliTy and Safety ContRoller Synthesis for Black-Box Systems Using a Single Trajectory

   Python 5 2

3. PRoTECT PRoTECT Public

   PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle d…

   Python 5 4

4. Google-Scholar-Orderer Google-Scholar-Orderer Public

   Browser extension that enhances Google Scholar with citation-based sorting and venue ranking badges (CORE, SJR, JCR, ERA, QUALIS, h5-index) for conferences and journals

   JavaScript 34 9

5. Data-driven-abstraction-based-control-synthesis-NAHS Data-driven-abstraction-based-control-synthesis-NAHS Public

   This is the code that relates to the NAHS paper "data-driven abstraction-based control synthesis" written by Kazemi, Majumdar, Salamati, Soudjani, and Wooding

   C++ 1 1

6. KenKen-Sudoku-VLM-Benchmarks KenKen-Sudoku-VLM-Benchmarks Public

   Forked from KBrennan39/KenKenSolver

   A benchmark set of NP-Complete Puzzles for the purpose of testing VLMs and Neuro-Symbolic Approaches.

   Python 1 1