Pinned Repositories
DepSynt
Tools for dependent variables in Linear Temporal Logic (LTL), including: Finding Dependent variables, Synthesis exploiting dependency.
genetic-algorithms-examples
mkplot-extended
Extended Options to Mkplot tool
neural-network-from-scratch
checkers_client
checkers_server
strix
Strix is a tool for reactive synthesis of controllers from LTL specifications.
benchmarks
Repository of benchmarks for SYNTCOMP
eliyaoo32's Repositories
eliyaoo32/DepSynt
Tools for dependent variables in Linear Temporal Logic (LTL), including: Finding Dependent variables, Synthesis exploiting dependency.
eliyaoo32/genetic-algorithms-examples
eliyaoo32/mkplot-extended
Extended Options to Mkplot tool
eliyaoo32/neural-network-from-scratch