Pinned Repositories
bosy
BoSy is a reactive synthesis tool based on constraint-solving
deepltl
Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
eahyper
A Satisfiability Solver for Hyperproperties
icedude
A programming tool for the iCE40 FPGA evaluation boards.
MCHyper
A hardware model checker for hyperproperties
realizer
Simple solver for safety games as specified by the synthesis competition (SYNTCOMP)
RTLola-Frontend
RTLola-Interpreter
syfco
Synthesis Format Conversion Tool
tsltools
Library and tools for the TSL specification format
Reactive Systems Group's Repositories
reactive-systems/deepltl
Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
reactive-systems/syfco
Synthesis Format Conversion Tool
reactive-systems/bosy
BoSy is a reactive synthesis tool based on constraint-solving
reactive-systems/MCHyper
A hardware model checker for hyperproperties
reactive-systems/icedude
A programming tool for the iCE40 FPGA evaluation boards.
reactive-systems/ml2
Machine Learning for Mathematics and Logics
reactive-systems/RTLola
reactive-systems/tsltools
Library and tools for the TSL specification format
reactive-systems/circuit-repair
Iterative Circuit Repair Against Formal Specifications
reactive-systems/REHyper
Runtime enforcement for hyperproperties given as universal HyperLTL formulas
reactive-systems/eahyper
A Satisfiability Solver for Hyperproperties
reactive-systems/explaining-hyperproperty-violations
Implementation of the CAV'22 paper "Explaining Hyperproperty Violations"
reactive-systems/cabpy
CabPy, a game solver for reachability games specified by formulas over the theory of linear arithmetic.
reactive-systems/RTLola-Frontend
reactive-systems/libsolve
A collection of data structures and SAT solver interfaces for writing solvers
reactive-systems/Lola2RustArtifact
reactive-systems/RTLola-Interpreter
reactive-systems/TGAN-SR
Implementation of the paper "Generating Symbolic Reasoning Problems with Transformer GANs" (https://arxiv.org/abs/2110.10054)
reactive-systems/hanoi
Haskell Hanoi Automation Library
reactive-systems/LiveSynthesisArtifact
reactive-systems/corp
A tool to synthesize causes for omega-regular properties.
reactive-systems/HyGaViz
reactive-systems/hyperatl
reactive-systems/LuSy
reactive-systems/NeuroSynt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
reactive-systems/nsc24
Project for Neuro-Symbolic Computing Seminar 24
reactive-systems/quabs
QuAbS is a circuit-based QBF solver
reactive-systems/RTLola-Kotlin-Bridge
reactive-systems/rtlola-rtlolamo3vis
A Mobile and Modular Visualization Framework for Online Monitoring accepted at RV2024
reactive-systems/rtlola-uav-specifications
This repository contains the RTLola specifications that have been developed as part of a research project between CISPA, DLR, and Volocopter.