Giters
Shufang Zhu (Shufang-Zhu)

Shufang-Zhu

Geek Repo

21

followers

19

following

2

stars

Company:University of Oxford

Location:Oxford

Home Page:https://shufang-zhu.github.io/

Github PK Tool:Github PK Tool

Organizations
whitemech

Shufang Zhu's repositories

Syft

Synthesizer of LTLf formula

Language:C++License:AGPL-3.0Stargazers:9Issues:1Issues:0

GFSynth

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis (IJCAI2021)

Language:CLicense:MITStargazers:3Issues:1Issues:0

Syft-safety

Synthesis tool of Safety LTL formulas

Language:C++License:MITStargazers:1Issues:0Issues:0

SyftMax

Synthesis of Single and Maximally Permissive Strategies for LTLf Specifications (IJCAI2017, IJCAI2022)

Language:C++License:AGPL-3.0Stargazers:1Issues:2Issues:0

synthetico

Pure-past LTL synthesizer based on BLACK

Language:C++License:MITStargazers:1Issues:0Issues:0

finite-synthesis-datasets

Datasets for Finite Synthesis.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

Shufang-Zhu.github.io

Stargazers:0Issues:1Issues:0