Skip to content

@reactive-systems Reactive Systems Group

Change the repository type filter

All

    Repositories list

    46 repositories

    • rt-causality

      Public
      Project repository for a developed tool for checking and computing causes in the runs of real-time systems modeled in Uppaal.
      Python
      •1•0•0•0•Updated Oct 4, 2024Oct 4, 2024

    • rtlola-rtlolamo3vis

      Public
      A Mobile and Modular Visualization Framework for Online Monitoring accepted at RV2024
      C#
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 30, 2024Aug 30, 2024

    • ml2

      Public
      Machine Learning for Mathematics and Logics
      Python
      •
      MIT License
      •5•9•1•0•Updated Aug 12, 2024Aug 12, 2024

    • syfco

      Public
      Synthesis Format Conversion Tool
      Haskell
      •
      MIT License
      •12•23•16•1•Updated Aug 7, 2024Aug 7, 2024

    • rtlola-uav-specifications

      Public
      This repository contains the RTLola specifications that have been developed as part of a research project between CISPA, DLR, and Volocopter.
      MIT License
      •0•0•0•0•Updated Jul 6, 2024Jul 6, 2024

    • RTLola-Interpreter

      Public
      Rust
      •
      Other
      •0•1•0•0•Updated Jul 2, 2024Jul 2, 2024

    • RTLola-Frontend

      Public
      Rust
      •1•2•0•0•Updated Jul 1, 2024Jul 1, 2024

    • nsc24

      Public
      Project for Neuro-Symbolic Computing Seminar 24
      Python
      •1•0•0•0•Updated Jun 26, 2024Jun 26, 2024

    • MCHyper

      Public
      A hardware model checker for hyperproperties
      Verilog
      •
      GNU Affero General Public License v3.0
      •1•18•1•0•Updated Jun 14, 2024Jun 14, 2024

    • corp

      Public
      A tool to synthesize causes for omega-regular properties.
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 13, 2024Jun 13, 2024

    • icedude

      Public
      A programming tool for the iCE40 FPGA evaluation boards.
      Haskell
      •
      MIT License
      •1•13•1•0•Updated Jun 5, 2024Jun 5, 2024

    • eahyper

      Public
      A Satisfiability Solver for Hyperproperties
      satisfiability-solverhyperproperties
      C++
      •
      ISC License
      •1•3•0•0•Updated Apr 29, 2024Apr 29, 2024

    • HyGaViz

      Public
      JavaScript
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 26, 2024Apr 26, 2024

    • LuSy

      Public
      0•0•0•0•Updated Jan 26, 2024Jan 26, 2024

    • NeuroSynt

      Public
      NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
      Python
      •
      Other
      •0•1•0•0•Updated Jan 22, 2024Jan 22, 2024

    • tsltools

      Public
      Library and tools for the TSL specification format
      Haskell
      •
      Other
      •9•9•1•0•Updated Nov 1, 2023Nov 1, 2023

    • hanoi

      Public
      Haskell Hanoi Automation Library
      Haskell
      •
      MIT License
      •1•0•0•0•Updated Oct 16, 2023Oct 16, 2023

    • bosy

      Public
      BoSy is a reactive synthesis tool based on constraint-solving
      linear-temporal-logicreactive-synthesis
      Swift
      •
      GNU Affero General Public License v3.0
      •11•19•1•1•Updated Aug 3, 2023Aug 3, 2023

    • explaining-hyperproperty-violations

      Public
      Implementation of the CAV'22 paper "Explaining Hyperproperty Violations"
      Python
      •
      MIT License
      •0•3•0•0•Updated Jun 15, 2023Jun 15, 2023

    • circuit-repair

      Public
      Iterative Circuit Repair Against Formal Specifications
      Python
      •
      MIT License
      •5•5•0•0•Updated Mar 3, 2023Mar 3, 2023

    • RTLola-Kotlin-Bridge

      Public
      Rust
      •
      MIT License
      •0•0•0•0•Updated Aug 5, 2022Aug 5, 2022

    • deepltl

      Public
      Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
      Python
      •
      MIT License
      •3•31•1•0•Updated Feb 10, 2022Feb 10, 2022

    • TGAN-SR

      Public
      Implementation of the paper "Generating Symbolic Reasoning Problems with Transformer GANs" (https://arxiv.org/abs/2110.10054)
      Python
      •
      MIT License
      •0•1•0•0•Updated Oct 20, 2021Oct 20, 2021

    • LiveSynthesisArtifact

      Public
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Oct 19, 2021Oct 19, 2021

    • hyperatl

      Public
      Java
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jul 13, 2021Jul 13, 2021

    • REHyper

      Public
      Runtime enforcement for hyperproperties given as universal HyperLTL formulas
      Rust
      •
      MIT License
      •0•4•0•0•Updated Jul 2, 2021Jul 2, 2021

    • Lola2RustArtifact

      Public
      Rust
      •
      MIT License
      •0•1•0•0•Updated Jun 18, 2021Jun 18, 2021

    • cabpy

      Public
      CabPy, a game solver for reachability games specified by formulas over the theory of linear arithmetic.
      Python
      •
      MIT License
      •0•2•0•0•Updated May 28, 2021May 28, 2021

    • RTLola

      Public
      Rust
      •
      Other
      •2•8•0•0•Updated May 21, 2021May 21, 2021

    • quabs

      Public
      QuAbS is a circuit-based QBF solver
      C
      •5•0•0•0•Updated May 17, 2021May 17, 2021