safety-games

There are 0 repository under safety-games topic.

Skar0 / gamesolver
A python tool for solving reachability/safety, parity, weak parity and generalized parity games
game-theory parity-game-solver reachability-game weak-parity-game parity-game safety-games parity-games reachability-games generalized-parity-games antichains
Language:Python 12
5nizza / aisy
AIGER based synthesizer using BDDs
aiger bdd safety-games synthesizer
Language:C 3
5nizza / sdf
Synthesizer from safety games
aiger safety-games synthesizer
Language:C++ 2
bonniepeng2002 / Safe-At-School
An interactive game and a winner of IgnitionHacks 2020, Division Delta.
childrens-web covid-19 hackathon-project interactive-game safety-games
Language:HTML 1
dhorpynchenko / Orchestration-of-Transducers-for-Manufacturing
Analysis of the paper "Synthesis of Orchestrations of Transducers for Manufacturing". Final project of "Elective in AI" course, La Sapienza, Rome, Italy, 2019
mu-calculus greatest-fix-point safety-games
Language:Jupyter Notebook 1
FilippoFantinato / simple-synthetiser
Just a simple safety and co-safety synthesizer
reachability-games reactive-synthesis safety-games co-safety-synthesis safety-synthesis
Language:C

Skar0 / gamesolver