rtsaad / mercury Star 3 Code Issues Pull requests High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA). c parallel-computing model-checking formal-methods probabilistic multicore formal-verification model-checker ctl-formulas reachability-analysis Updated Nov 16, 2020 C
cosynus-lix / STAR Star 3 Code Issues Pull requests Implementation of STAR from the paper "Reconciling Spatial and Temporal Abstractions for Goal Representation" (ICLR 2024) reinforcement-learning robotics representation-learning hierarchical-reinforcement-learning reachability-analysis goal-abstraction Updated May 30, 2024 C