reactive-synthesis

There are 1 repository under reactive-synthesis topic.

meyerphi / strix
Strix is a tool for reactive synthesis of controllers from LTL specifications.
linear-temporal-logic reactive-synthesis
Language:Rust 18
reactive-systems / bosy
BoSy is a reactive synthesis tool based on constraint-solving
reactive-synthesis linear-temporal-logic
Language:Swift 18
owl-toolkit / owl
automata formal-languages formal-methods formal-verification linear-temporal-logic reactive-synthesis
Language:Java 14
dSynMa / syMTri
A tool for reactive synthesis with monitor triggers.
ltl monitoring reactive-synthesis runtime-verification symbolic-automata synthesis
Language:Python 3
mkhaled87 / pFaces-AMYTISS
A tool for parallel automated controller synthesis for large-scale stochastic systems.
symbolic-models symbolic-controller automated-synthesis reactive-synthesis markov-decision-process hybrid-systems noise stochastisity disturbances parallel-algorithm
Language:C++ 3
AuRUS
MatiasBrizzio / AuRUS
🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
formal-methods genetic-algorithm ltl search-based-software-engineering reactive-synthesis linear-temporal-logic searching-algorithms strix synthesis automata sat owl-api evolutionary-algorithms matrix-multiplication
Language:Java 2
abhibp1993 / formal-tic-tac-toe
Implements Formal Methods based Never-Losing Robot Player for Tic-Tac-Toe
formal-methods tic-tac-toe game-theory reactive-synthesis
Language:Python 1
eliyaoo32 / DepSynt
Tools for dependent variables in Linear Temporal Logic (LTL), including: Finding Dependent variables, Synthesis exploiting dependency.
dependency formal-methods linear-temporal-logic reactive-synthesis
Language:C 0
shaunazzopardi / sweap
A tool for symbolic finite and infinite-state reactive synthesis
lia ltl reactive-synthesis synthesis
Language:HTML 0
FilippoFantinato / simple-synthetiser
Just a simple safety and co-safety synthesizer
reachability-games reactive-synthesis safety-games co-safety-synthesis safety-synthesis
Language:C