shaunazzopardi/sweap

A tool for symbolic finite and infinite-state reactive synthesis

Language: HTML - Size: 218 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 2 - Forks: 0

florentdelgrange/synthesis_from_drl

Composing reinforcement learning policies, with formal guarantees

Language: Python - Size: 831 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

mkhaled87/pFaces-AMYTISS

A tool for parallel automated controller synthesis for large-scale stochastic systems.

Language: C++ - Size: 26.4 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 3

MatiasBrizzio/AuRUS

AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.

Language: Java - Size: 156 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 1

lou1306/homebrew-formal Fork of mht208/homebrew-formal

Homebrew formulae for formal methods

Language: Ruby - Size: 259 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

FilippoFantinato/simple-synthetiser

Just a simple safety and co-safety synthesizer

Language: C - Size: 2.44 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

eliyaoo32/DepSynt

Tools for dependent variables in Linear Temporal Logic (LTL), including: Finding Dependent variables, Synthesis exploiting dependency.

Language: C - Size: 158 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

reactive-systems/bosy

BoSy is a reactive synthesis tool based on constraint-solving

Language: Swift - Size: 396 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 17 - Forks: 11

dSynMa/syMTri

A tool for reactive synthesis with monitor triggers.

Language: Python - Size: 909 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

meyerphi/strix

Strix is a tool for reactive synthesis of controllers from LTL specifications.

Language: Rust - Size: 1.09 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 1

owl-toolkit/owl

Language: Java - Size: 10.8 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

abhibp1993/formal-tic-tac-toe

Implements Formal Methods based Never-Losing Robot Player for Tic-Tac-Toe

Language: Python - Size: 564 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0